1 |
commit: 7c4164af890c6603c423341d38dd3d2da5746600 |
2 |
Author: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com> |
3 |
AuthorDate: Fri Apr 29 01:11:11 2022 +0000 |
4 |
Commit: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com> |
5 |
CommitDate: Fri Apr 29 01:47:59 2022 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=7c4164af |
7 |
|
8 |
sci-mathematics/aspcud: add cudf solvers file from debian |
9 |
|
10 |
Signed-off-by: Alessandro Barbieri <lssndrbarbieri <AT> gmail.com> |
11 |
|
12 |
sci-mathematics/aspcud/aspcud-1.9.5.ebuild | 14 ++++++++++---- |
13 |
sci-mathematics/aspcud/files/aspcud | 3 +++ |
14 |
2 files changed, 13 insertions(+), 4 deletions(-) |
15 |
|
16 |
diff --git a/sci-mathematics/aspcud/aspcud-1.9.5.ebuild b/sci-mathematics/aspcud/aspcud-1.9.5.ebuild |
17 |
index de5c531c7..8a7ef419d 100644 |
18 |
--- a/sci-mathematics/aspcud/aspcud-1.9.5.ebuild |
19 |
+++ b/sci-mathematics/aspcud/aspcud-1.9.5.ebuild |
20 |
@@ -3,7 +3,7 @@ |
21 |
|
22 |
EAPI=8 |
23 |
|
24 |
-inherit cmake optfeature |
25 |
+inherit cmake |
26 |
|
27 |
DESCRIPTION="A solver for package problems in CUDF format" |
28 |
HOMEPAGE=" |
29 |
@@ -18,7 +18,11 @@ KEYWORDS="~amd64" |
30 |
IUSE="test" |
31 |
|
32 |
RDEPEND="dev-libs/boost:=" |
33 |
-DEPEND="${RDEPEND}" |
34 |
+DEPEND=" |
35 |
+ ${RDEPEND} |
36 |
+ sci-mathematics/clasp |
37 |
+ sci-mathematics/clingo |
38 |
+" |
39 |
BDEPEND="dev-util/re2c" |
40 |
|
41 |
RESTRICT="!test? ( test )" |
42 |
@@ -32,6 +36,8 @@ src_configure() { |
43 |
cmake_src_configure |
44 |
} |
45 |
|
46 |
-pkg_postinst() { |
47 |
- optfeature "dependencies needed at runtime" sci-mathematics/clasp sci-mathematics/clingo |
48 |
+src_install() { |
49 |
+ cmake_src_install |
50 |
+ insinto /usr/share/cudf/solvers/ |
51 |
+ doins "${FILESDIR}/aspcud" |
52 |
} |
53 |
|
54 |
diff --git a/sci-mathematics/aspcud/files/aspcud b/sci-mathematics/aspcud/files/aspcud |
55 |
new file mode 100644 |
56 |
index 000000000..7bd867cdf |
57 |
--- /dev/null |
58 |
+++ b/sci-mathematics/aspcud/files/aspcud |
59 |
@@ -0,0 +1,3 @@ |
60 |
+description: CUDF solver based on the Answer Set Programming tools clasp and gringo |
61 |
+exec: /usr/bin/aspcud "$in" "$out" "$pref" |
62 |
+cudf-version: 2.0 |