-# Copyright 1999-2017 Gentoo Foundation
+# Copyright 1999-2018 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
EAPI=6
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"
}
-# Copyright 1999-2017 Gentoo Foundation
+# Copyright 1999-2018 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
EAPI=6
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"
}