sci-mathematics/aspcud: new package, add 1.9.5

Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
This commit is contained in:
Alessandro Barbieri 2022-04-28 07:57:10 +02:00
parent 3820d604d8
commit bfdf9a867d
No known key found for this signature in database
GPG Key ID: 4E4140121372C837
3 changed files with 50 additions and 0 deletions

View File

@ -0,0 +1 @@
DIST aspcud-1.9.5.tar.gz 70073941 BLAKE2B e2f02259a726d05a664e63836ab24d798b3ef96276c92caf00907df5ea3d08b9d5e992c3ffb2f8ad95864e4251e2adde596d6327e71e7ae33fabd515eaeafb13 SHA512 b6c85f7e67cbf8df8dd0ed4f8fd5f988e46bf3f9756e4cb8fadfae955ed70bc27279e8dddcfe8161543e5276a70d2103816fce8edebc240fef6b182841832106

View File

@ -0,0 +1,37 @@
# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
inherit cmake optfeature
DESCRIPTION="A solver for package problems in CUDF format"
HOMEPAGE="
https://github.com/potassco/aspcud
https://potassco.org/aspcud/
"
SRC_URI="https://github.com/potassco/${PN}/archive/refs/tags/v${PV}.tar.gz -> ${P}.tar.gz"
LICENSE="MIT"
SLOT="0"
KEYWORDS="~amd64"
IUSE="test"
RDEPEND="dev-libs/boost:="
DEPEND="${RDEPEND}"
BDEPEND="dev-util/re2c"
RESTRICT="!test? ( test )"
src_configure() {
local mycmakeargs=(
-DASPCUD_BUILD_TESTS=$(usex test)
-DASPCUD_BUILD_STATIC=OFF
)
cmake_src_configure
}
pkg_postinst() {
optfeature "dependencies needed at runtime" sci-mathematics/clasp sci-mathematics/clingo
}

View File

@ -0,0 +1,12 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<maintainer type="person">
<email>lssndrbarbieri@gmail.com</email>
<name>Alessandro Barbieri</name>
</maintainer>
<upstream>
<bugs-to>https://github.com/potassco/aspcud/issues</bugs-to>
<remote-id type="github">potassco/aspcud</remote-id>
</upstream>
</pkgmetadata>