summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTupone Alfredo <tupone@gentoo.org>2017-10-29 17:39:05 +0100
committerTupone Alfredo <tupone@gentoo.org>2017-10-29 17:39:05 +0100
commit90fb97d461d2bc1118357c065f4b35259379eb6c (patch)
treee6e1f033f894031bdeb8c2db0d03586b5a6adb00
parentapp-editors/juffed: Drop old, qscintilla[qt4]-rdep (diff)
downloadgentoo-90fb97d461d2bc1118357c065f4b35259379eb6c.tar.gz
gentoo-90fb97d461d2bc1118357c065f4b35259379eb6c.tar.bz2
gentoo-90fb97d461d2bc1118357c065f4b35259379eb6c.zip
dev-lang/spark: Fix dev-ada/gnatcoll use depend
Package-Manager: Portage-2.3.8, Repoman-2.3.3
-rw-r--r--dev-lang/spark/spark-2017.ebuild1
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-lang/spark/spark-2017.ebuild b/dev-lang/spark/spark-2017.ebuild
index 9f1b5646a0e..e63d7069015 100644
--- 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}