diff options
| author |   Tupone Alfredo <tupone@gentoo.org> | 2017-10-29 17:39:05 +0100 |
|---|---|---|
| committer | Tupone Alfredo <tupone@gentoo.org> | 2017-10-29 17:39:05 +0100 |
| commit | 90fb97d461d2bc1118357c065f4b35259379eb6c (patch) | |
| tree | e6e1f033f894031bdeb8c2db0d03586b5a6adb00 /dev-lang/spark | |
| parent | app-editors/juffed: Drop old, qscintilla[qt4]-rdep (diff) | |
| download | gentoo-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
Diffstat (limited to 'dev-lang/spark')
| -rw-r--r-- | dev-lang/spark/spark-2017.ebuild | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-lang/spark/spark-2017.ebuild b/dev-lang/spark/spark-2017.ebuild index 9f1b5646a0e7..e63d7069015f 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} |