diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2017-10-31 15:47:53 +0000 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2017-10-31 15:47:53 +0000 |
commit | d950fa39dbe16d164ed0cb8e3036fd5d0d896a4c (patch) | |
tree | 04f92d5d1070a7aedb970ce4539dc6d60253c4df /dev-lang/spark/spark-2017.ebuild | |
parent | bd7908c6630f38067350d396ac5d18c3cc2434a0 (diff) |
gentoo resync : 31.10.2017
Diffstat (limited to 'dev-lang/spark/spark-2017.ebuild')
-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} |