-# Copyright 1999-2018 Gentoo Foundation
+# Copyright 1999-2018 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=6
LICENSE="GPL-3"
SLOT="0"
-KEYWORDS="~amd64 ~x86"
+KEYWORDS="amd64 x86"
IUSE="gnat_2016 gnat_2017 +gnat_2018"
-RDEPEND="dev-ada/gnatcoll-core[gnat_2016=,gnat_2017=,gnat_2018=,shared]"
+RDEPEND="dev-ada/gnat_util[gnat_2016=,gnat_2017=,gnat_2018=]
+ || (
+ dev-ada/gnatcoll-core[gnat_2016=,gnat_2017=,gnat_2018=,shared]
+ dev-ada/gnatcoll[gnat_2016=,gnat_2017=,gnat_2018=,projects,shared]
+ )"
DEPEND="${RDEPEND}
dev-ada/gprbuild[gnat_2016=,gnat_2017=,gnat_2018=]"
PATCHES=( "${FILESDIR}"/${PN}-2017-gentoo.patch )
src_compile() {
- emake PROCESSORS=$(makeopts_jobs)
+ emake PROCESSORS=$(makeopts_jobs) \
+ GPRBUILD_FLAGS="-vl"
emake tools PROCESSORS=$(makeopts_jobs) \
GPRBUILD_FLAGS="-vl \
+ -XGPR_BUILD=relocatable \
-XLIBRARY_TYPE=relocatable \
-XXMLADA_BUILD=relocatable"
}
emake prefix="${D}"/usr install
emake prefix="${D}"/usr install-tools \
GPRINSTALL="gprinstall \
+ -XGPR_BUILD=relocatable \
-XLIBRARY_TYPE=relocatable \
-XXMLADA_BUILD=relocatable"
rm -r "${D}"/usr/share/gpr/manifests || die