projects
/
gentoo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
56d213f
)
dev-lang/spark: Fix dev-ada/gnatcoll use depend
author
Tupone Alfredo
<tupone@gentoo.org>
Sun, 29 Oct 2017 16:39:05 +0000
(17:39 +0100)
committer
Tupone Alfredo
<tupone@gentoo.org>
Sun, 29 Oct 2017 16:39:05 +0000
(17:39 +0100)
Package-Manager: Portage-2.3.8, Repoman-2.3.3
dev-lang/spark/spark-2017.ebuild
patch
|
blob
|
history
diff --git
a/dev-lang/spark/spark-2017.ebuild
b/dev-lang/spark/spark-2017.ebuild
index 9f1b5646a0e71c0373e277ca2bf6ffea362991a3..e63d7069015f7b570b8f9cae20fd1b05c24c7eba 100644
(file)
--- a/
dev-lang/spark/spark-2017.ebuild
+++ b/
dev-lang/spark/spark-2017.ebuild
@@
-21,6
+21,7
@@
IUSE=""
RDEPEND="dev-lang/gnat-gpl:6.3.0
>=dev-ada/gnatcoll-2017[gnat_2017,projects]
+ || ( dev-ada/gnatcoll[shared] dev-ada/gnatcoll[static] )
sci-mathematics/alt-ergo
sci-mathematics/why3-for-spark"
DEPEND="${RDEPEND}