From 2a44c2ce8dff33d5381fbaa1f39740f612145712 Mon Sep 17 00:00:00 2001 From: Tupone Alfredo Date: Tue, 26 Jun 2018 21:25:16 +0200 Subject: dev-lang/spark: Fix build. Closes: https://bugs.gentoo.org/658554 Package-Manager: Portage-2.3.40, Repoman-2.3.9 --- dev-lang/spark/spark-2017.ebuild | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'dev-lang') 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() { -- cgit v1.2.3-65-gdbad