summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTupone Alfredo <tupone@gentoo.org>2019-05-31 11:03:35 +0200
committerTupone Alfredo <tupone@gentoo.org>2019-05-31 11:03:35 +0200
commitfbcc34c55e3a9d61aff2fb810a7993da43bffb4d (patch)
tree8dd812822fb38abc502a705a522d29f19fdd016b /dev-ada/gnat_util
parentdev-ada/gtkada: enable build with gnat-gpl-2019 (diff)
downloadgentoo-fbcc34c55e3a9d61aff2fb810a7993da43bffb4d.tar.gz
gentoo-fbcc34c55e3a9d61aff2fb810a7993da43bffb4d.tar.bz2
gentoo-fbcc34c55e3a9d61aff2fb810a7993da43bffb4d.zip
dev-ada/gnat_util: enable build with gnat-gpl-2019
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.62, Repoman-2.3.11
Diffstat (limited to 'dev-ada/gnat_util')
-rw-r--r--dev-ada/gnat_util/gnat_util-2018-r1.ebuild60
-rw-r--r--dev-ada/gnat_util/metadata.xml1
2 files changed, 61 insertions, 0 deletions
diff --git a/dev-ada/gnat_util/gnat_util-2018-r1.ebuild b/dev-ada/gnat_util/gnat_util-2018-r1.ebuild
new file mode 100644
index 00000000000..48e3c176860
--- /dev/null
+++ b/dev-ada/gnat_util/gnat_util-2018-r1.ebuild
@@ -0,0 +1,60 @@
+# Copyright 1999-2019 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+inherit toolchain-funcs multiprocessing
+
+MYP=${PN}-gpl-${PV}
+
+DESCRIPTION="Provides access to GNAT compiler internals for AdaCore utilities"
+HOMEPAGE="http://libre.adacore.com"
+SRC_URI="http://mirrors.cdn.adacore.com/art/5b0819dfc7a447df26c27a6b
+ -> ${MYP}-src.tar.gz"
+
+LICENSE="GPL-3"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+IUSE="+gnat_2018 gnat_2019 +shared static-libs static-pic"
+
+RDEPEND="gnat_2018? ( dev-lang/gnat-gpl:7.3.1 )
+ gnat_2019? ( dev-lang/gnat-gpl:8.3.1 )"
+DEPEND="${RDEPEND}
+ dev-ada/gprbuild[gnat_2018(-)?,gnat_2019(-)?]"
+REQUIRED_USE="^^ ( gnat_2018 gnat_2019 )"
+
+S="${WORKDIR}"/${MYP}-src
+
+PATCHES=( "${FILESDIR}"/${PN}-2017-gentoo.patch )
+
+src_compile() {
+ if use gnat_2018; then
+ GCC_PV=7.3.1
+ else
+ GCC_PV=8.3.1
+ fi
+ GNATMAKE=${CHOST}-gnatmake-${GCC_PV}
+ emake GNATMAKE="${GNATMAKE} ${ADAFLAGS}" \
+ BUILDER="gprbuild -j$(makeopts_jobs)" generate_sources
+ if use static-libs; then
+ emake BUILDER="gprbuild -v -j$(makeopts_jobs)" build-static
+ fi
+ for kind in shared static-pic; do
+ if use ${kind}; then
+ emake BUILDER="gprbuild -v -j$(makeopts_jobs)" \
+ build-${kind}
+ fi
+ done
+}
+
+src_install() {
+ if use static-libs; then
+ emake prefix="${D}"/usr install-static
+ fi
+ for kind in shared static-pic; do
+ if use ${kind}; then
+ emake prefix="${D}"/usr install-${kind}
+ fi
+ done
+ einstalldocs
+}
diff --git a/dev-ada/gnat_util/metadata.xml b/dev-ada/gnat_util/metadata.xml
index fb8adc913f1..be52463254c 100644
--- a/dev-ada/gnat_util/metadata.xml
+++ b/dev-ada/gnat_util/metadata.xml
@@ -9,6 +9,7 @@
<flag name="gnat_2016">Compile with dev-lang/gnat-gpl-2016</flag>
<flag name="gnat_2017">Compile with dev-lang/gnat-gpl-2017</flag>
<flag name="gnat_2018">Compile with dev-lang/gnat-gpl-2018</flag>
+ <flag name="gnat_2019">Compile with dev-lang/gnat-gpl-2019</flag>
<flag name="shared">Build gnat_util shared library</flag>
<flag name="static-pic">Build gnat_util static library with pic code</flag>
</use>