diff options
| author | Tupone Alfredo <tupone@gentoo.org> | 2018-06-26 21:25:16 +0200 |
|---|---|---|
| committer | Tupone Alfredo <tupone@gentoo.org> | 2018-06-26 21:25:16 +0200 |
| commit | 2a44c2ce8dff33d5381fbaa1f39740f612145712 (patch) | |
| tree | 30e6ad929479fe9d714a19fcea506f9e1704349e /dev-lang/spark | |
| parent | 92507eb100e9368ab62e84d5adecc3c35bcc9109 (diff) | |
| download | gentoo-2a44c2ce8dff33d5381fbaa1f39740f612145712.tar.gz gentoo-2a44c2ce8dff33d5381fbaa1f39740f612145712.tar.xz | |
dev-lang/spark: Fix build.
Closes: https://bugs.gentoo.org/658554
Package-Manager: Portage-2.3.40, Repoman-2.3.9
Diffstat (limited to 'dev-lang/spark')
| -rw-r--r-- | dev-lang/spark/spark-2017.ebuild | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/dev-lang/spark/spark-2017.ebuild b/dev-lang/spark/spark-2017.ebuild index e63d7069015..47ad4e812b0 100644 --- a/dev-lang/spark/spark-2017.ebuild +++ b/dev-lang/spark/spark-2017.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2017 Gentoo Foundation +# Copyright 1999-2018 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 EAPI=6 @@ -20,8 +20,7 @@ KEYWORDS="~amd64" IUSE="" RDEPEND="dev-lang/gnat-gpl:6.3.0 - >=dev-ada/gnatcoll-2017[gnat_2017,projects] - || ( dev-ada/gnatcoll[shared] dev-ada/gnatcoll[static] ) + >=dev-ada/gnatcoll-2017[gnat_2017,projects,shared] sci-mathematics/alt-ergo sci-mathematics/why3-for-spark" DEPEND="${RDEPEND} @@ -43,7 +42,8 @@ src_prepare() { } src_compile() { - emake gnat2why gnatprove + emake GPRARGS="-XLIBRARY_TYPE=relocatable" gnat2why + emake PROD="-XLIBRARY_TYPE=relocatable" gnatprove } src_install() { |