diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2018-06-30 08:49:38 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2018-06-30 08:49:38 +0100 |
| commit | b2be182d49eea46686b5cf2680d457df61e89dc4 (patch) | |
| tree | c66442ced2011c5ca81c3114cc51041e314c6d33 /dev-lang/spark/spark-2017.ebuild | |
| parent | e23cdda4dbb0c83b9e682ab5e916085a35203da5 (diff) | |
gentoo resync : 30.06.2018
Diffstat (limited to 'dev-lang/spark/spark-2017.ebuild')
| -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 e63d7069015f..47ad4e812b0f 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() { |