1 |
commit: b2ebfea24c268cef7c30cbea68442057993cb502 |
2 |
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> |
3 |
AuthorDate: Tue Dec 28 13:39:49 2021 +0000 |
4 |
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> |
5 |
CommitDate: Tue Dec 28 13:40:20 2021 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b2ebfea2 |
7 |
|
8 |
sci-mathematics/alt-ergo: fix deps |
9 |
|
10 |
Closes: https://bugs.gentoo.org/830140 |
11 |
Closes: https://bugs.gentoo.org/830156 |
12 |
Package-Manager: Portage-3.0.28, Repoman-3.0.3 |
13 |
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> |
14 |
|
15 |
.../alt-ergo/{alt-ergo-2.4.1.ebuild => alt-ergo-2.4.1-r1.ebuild} | 6 +++++- |
16 |
1 file changed, 5 insertions(+), 1 deletion(-) |
17 |
|
18 |
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.4.1.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.4.1-r1.ebuild |
19 |
similarity index 92% |
20 |
rename from sci-mathematics/alt-ergo/alt-ergo-2.4.1.ebuild |
21 |
rename to sci-mathematics/alt-ergo/alt-ergo-2.4.1-r1.ebuild |
22 |
index 9621bd865e68..52d3124f6809 100644 |
23 |
--- a/sci-mathematics/alt-ergo/alt-ergo-2.4.1.ebuild |
24 |
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.4.1-r1.ebuild |
25 |
@@ -16,15 +16,19 @@ IUSE="examples +ocamlopt" |
26 |
|
27 |
RDEPEND=" |
28 |
>=dev-lang/ocaml-4.09.0:=[ocamlopt=] |
29 |
+ >=sci-mathematics/psmt2-frontend-0.4.0:= |
30 |
+ |
31 |
>=dev-ml/menhir-20181006:= |
32 |
>=dev-ml/ocplib-simplex-0.4:= |
33 |
- >=sci-mathematics/psmt2-frontend-0.4.0:= |
34 |
dev-ml/camlzip:= |
35 |
+ dev-ml/cmdliner:= |
36 |
dev-ml/num:= |
37 |
dev-ml/seq:= |
38 |
+ dev-ml/stdlib-shims:= |
39 |
dev-ml/zarith:= |
40 |
" |
41 |
DEPEND="${RDEPEND}" |
42 |
+BDEPEND="dev-ml/dune-configurator" |
43 |
|
44 |
src_prepare() { |
45 |
default |