[gentoo-commits] repo/gentoo:master commit in: dev-lang/spark/

["Alfredo Tupone" <tupone@gentoo.org>]

commit:     2a44c2ce8dff33d5381fbaa1f39740f612145712
Author:     Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Tue Jun 26 19:25:16 2018 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Tue Jun 26 19:25:16 2018 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2a44c2ce

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(-)

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() {