diff options
Diffstat (limited to 'dev-ada/asis/asis-2017.ebuild')
| -rw-r--r-- | dev-ada/asis/asis-2017.ebuild | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/dev-ada/asis/asis-2017.ebuild b/dev-ada/asis/asis-2017.ebuild index 82141cacc339..80f51a94f66e 100644 --- a/dev-ada/asis/asis-2017.ebuild +++ b/dev-ada/asis/asis-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 @@ -13,7 +13,7 @@ SRC_URI="http://mirrors.cdn.adacore.com/art/591c45e2c7a447af2deecffb LICENSE="GPL-3" SLOT="0" -KEYWORDS="~amd64" +KEYWORDS="~amd64 ~x86" IUSE="gnat_2016 +gnat_2017" DEPEND="dev-ada/gnat_util[gnat_2017] @@ -30,10 +30,16 @@ PATCHES=( "${FILESDIR}"/${P}-gentoo.patch ) src_compile() { emake PROCESSORS=$(makeopts_jobs) - emake tools PROCESSORS=$(makeopts_jobs) + emake tools PROCESSORS=$(makeopts_jobs) \ + GPRBUILD_FLAGS="-vl \ + -XLIBRARY_TYPE=relocatable \ + -XXMLADA_BUILD=relocatable" } src_install() { emake prefix="${D}"/usr install - emake prefix="${D}"/usr install-tools + emake prefix="${D}"/usr install-tools \ + GPRINSTALL="gprinstall \ + -XLIBRARY_TYPE=relocatable \ + -XXMLADA_BUILD=relocatable" } |