Gentoo Archives: gentoo-commits

From: Alfredo Tupone <tupone@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-lang/spark/
Date: Sun, 29 Oct 2017 16:39:20
Message-Id: 1509295145.90fb97d461d2bc1118357c065f4b35259379eb6c.tupone@gentoo
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}