gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-23 16:49:10 -07:00
Code Issues Projects Releases Wiki Activity

dev-lang/spark: Fix build.

Browse Source 
Closes: https://bugs.gentoo.org/658554
Package-Manager: Portage-2.3.40, Repoman-2.3.9
This commit is contained in:
Tupone Alfredo
2018-06-26 21:25:16 +02:00
parent 92507eb100
commit 2a44c2ce8d
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
dev-lang/spark/spark-2017.ebuild
View File

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