diff options
| author |   Tupone Alfredo <tupone@gentoo.org> | 2018-03-08 11:17:12 +0100 |
|---|---|---|
| committer | Tupone Alfredo <tupone@gentoo.org> | 2018-03-08 11:17:35 +0100 |
| commit | 4913e935f060f87c150f25dd05e50b073f7c309d (patch) | |
| tree | d6913b55ba3b5188d284ef9c28215e0dd2b7b1ac /dev-ada | |
| parent | dev-ada/gnatcoll: Add dependency on dev-ada/xmlada (diff) | |
| download | gentoo-4913e935f060f87c150f25dd05e50b073f7c309d.tar.gz gentoo-4913e935f060f87c150f25dd05e50b073f7c309d.tar.bz2 gentoo-4913e935f060f87c150f25dd05e50b073f7c309d.zip | |
dev-ada/asis: Require shared library for both xmlada and gnatcoll
Package-Manager: Portage-2.3.19, Repoman-2.3.6
Diffstat (limited to 'dev-ada')
| -rw-r--r-- | dev-ada/asis/asis-2016.ebuild | 12 | ||||
| -rw-r--r-- | dev-ada/asis/asis-2017.ebuild | 12 |
2 files changed, 18 insertions, 6 deletions
diff --git a/dev-ada/asis/asis-2016.ebuild b/dev-ada/asis/asis-2016.ebuild index 48c6312f8b75..c54e214eb9e3 100644 --- a/dev-ada/asis/asis-2016.ebuild +++ b/dev-ada/asis/asis-2016.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 @@ -31,10 +31,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" } diff --git a/dev-ada/asis/asis-2017.ebuild b/dev-ada/asis/asis-2017.ebuild index 82141cacc339..abe7adfd62fc 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 @@ -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" } |