commit: 7c4164af890c6603c423341d38dd3d2da5746600
Author: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com>
AuthorDate: Fri Apr 29 01:11:11 2022 +0000
Commit: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com>
CommitDate: Fri Apr 29 01:47:59 2022 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=7c4164af
sci-mathematics/aspcud: add cudf solvers file from debian
Signed-off-by: Alessandro Barbieri <lssndrbarbieri <AT> gmail.com>
sci-mathematics/aspcud/aspcud-1.9.5.ebuild | 14 ++++++++++----
sci-mathematics/aspcud/files/aspcud | 3 +++
2 files changed, 13 insertions(+), 4 deletions(-)
diff --git a/sci-mathematics/aspcud/aspcud-1.9.5.ebuild
b/sci-mathematics/aspcud/aspcud-1.9.5.ebuild
index de5c531c7..8a7ef419d 100644
--- a/sci-mathematics/aspcud/aspcud-1.9.5.ebuild
+++ b/sci-mathematics/aspcud/aspcud-1.9.5.ebuild
@@ -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"
}
diff --git a/sci-mathematics/aspcud/files/aspcud
b/sci-mathematics/aspcud/files/aspcud
new file mode 100644
index 000000000..7bd867cdf
--- /dev/null
+++ b/sci-mathematics/aspcud/files/aspcud
@@ -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