1 |
commit: 90fb97d461d2bc1118357c065f4b35259379eb6c |
2 |
Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org> |
3 |
AuthorDate: Sun Oct 29 16:39:05 2017 +0000 |
4 |
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> |
5 |
CommitDate: Sun Oct 29 16:39:05 2017 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=90fb97d4 |
7 |
|
8 |
dev-lang/spark: Fix dev-ada/gnatcoll use depend |
9 |
|
10 |
Package-Manager: Portage-2.3.8, Repoman-2.3.3 |
11 |
|
12 |
dev-lang/spark/spark-2017.ebuild | 1 + |
13 |
1 file changed, 1 insertion(+) |
14 |
|
15 |
diff --git a/dev-lang/spark/spark-2017.ebuild b/dev-lang/spark/spark-2017.ebuild |
16 |
index 9f1b5646a0e..e63d7069015 100644 |
17 |
--- a/dev-lang/spark/spark-2017.ebuild |
18 |
+++ b/dev-lang/spark/spark-2017.ebuild |
19 |
@@ -21,6 +21,7 @@ IUSE="" |
20 |
|
21 |
RDEPEND="dev-lang/gnat-gpl:6.3.0 |
22 |
>=dev-ada/gnatcoll-2017[gnat_2017,projects] |
23 |
+ || ( dev-ada/gnatcoll[shared] dev-ada/gnatcoll[static] ) |
24 |
sci-mathematics/alt-ergo |
25 |
sci-mathematics/why3-for-spark" |
26 |
DEPEND="${RDEPEND} |