sci-mathematics/aspcud: add cudf solvers file from debian

Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
This commit is contained in:
Alessandro Barbieri
2022-04-29 03:11:11 +02:00
parent 54f6fe2cb2
commit 7c4164af89
2 changed files with 13 additions and 4 deletions

View File

@@ -3,7 +3,7 @@
EAPI=8
inherit cmake optfeature
inherit cmake
DESCRIPTION="A solver for package problems in CUDF format"
HOMEPAGE="
@@ -18,7 +18,11 @@ KEYWORDS="~amd64"
IUSE="test"
RDEPEND="dev-libs/boost:="
DEPEND="${RDEPEND}"
DEPEND="
${RDEPEND}
sci-mathematics/clasp
sci-mathematics/clingo
"
BDEPEND="dev-util/re2c"
RESTRICT="!test? ( test )"
@@ -32,6 +36,8 @@ src_configure() {
cmake_src_configure
}
pkg_postinst() {
optfeature "dependencies needed at runtime" sci-mathematics/clasp sci-mathematics/clingo
src_install() {
cmake_src_install
insinto /usr/share/cudf/solvers/
doins "${FILESDIR}/aspcud"
}

View File

@@ -0,0 +1,3 @@
description: CUDF solver based on the Answer Set Programming tools clasp and gringo
exec: /usr/bin/aspcud "$in" "$out" "$pref"
cudf-version: 2.0