diff options
Diffstat (limited to 'dev-ada/gnat_util')
-rw-r--r-- | dev-ada/gnat_util/Manifest | 4 | ||||
-rw-r--r-- | dev-ada/gnat_util/gnat_util-2018.ebuild | 56 | ||||
-rw-r--r-- | dev-ada/gnat_util/metadata.xml | 1 |
3 files changed, 60 insertions, 1 deletions
diff --git a/dev-ada/gnat_util/Manifest b/dev-ada/gnat_util/Manifest index 7256f4e9cae4..631a13ecdf8b 100644 --- a/dev-ada/gnat_util/Manifest +++ b/dev-ada/gnat_util/Manifest @@ -2,6 +2,8 @@ AUX gnat_util-2016-gentoo.patch 3197 BLAKE2B e5a15c5becd1882fa7649c7b18d628dd38c AUX gnat_util-2017-gentoo.patch 2840 BLAKE2B 95e39f8c054cefb2ddc879e44b9e11e49fa91bb3e521440e25ca050e276d3ff067f0d407be29826f550d960cc729f3adabb7d81134906af39c1fb0ce668edec3 SHA512 6fb7c9fd3ac282fd0571aec55acfcafc5a72e8814dd9c158751f36f6bab29d682da9b6e89eca774f424831c2985776b07f6749c97bff4ee1baa423a9ed142846 DIST gnat_util-gpl-2016-src.tar.gz 1126296 BLAKE2B e1e7c2628b6a012ca3ad5809d4ea785a9fa68ed5e7f67a80475ece80161f53d611eb9a383591167d30f2a1125de48299123cc0c0b4807b6bcb4bca197bda78ed SHA512 1edb67e762637e9e951356c7be402d7b2b903a05abdc93eadaf5ba98bc7bfa936b4fa2a2ae7eb986200dec755020e53d312d42769512fba2e290099f6030bbd0 DIST gnat_util-gpl-2017-src.tar.gz 868496 BLAKE2B d105a59f0533428a4d57b3c81c0818f4d1bd457b113d775fe97f35f7352e03b602ac0e6d7b970e408fb3dd6d30f0d4e60feffccf42dbdc0723a76855b0164ee0 SHA512 d5e48c6fafc870f36094d2dfd5f45f2d5b5729c97596afff7475b7838c1c7c029ef57395ca1011ee74d8a4195597ea1f502732e654a02561a7abc72c8a7d3a6a +DIST gnat_util-gpl-2018-src.tar.gz 883945 BLAKE2B e30ee379f4ea9525337b0794d4fc91c80458b3b1dd3d10cbc455c6f566d4d073b6753c171ffbbabd85995717de249cdee7c094b7ba00d752a13e18d0f54da192 SHA512 490b0fa944f4b9fee2a4e78c1181658eb8f95262314455c41beb3ebe9db5dd540090d1f9840357572969721966fa11085dc680f3498dc539631ef3f4dbf56426 EBUILD gnat_util-2016.ebuild 1477 BLAKE2B 2b9e5cc94fee078cf11c870198668ef563507bfbeecc8da8553967e2a261685fa8affa89a56ba85a9522c894c263040eacfce0790fb5e11a89b4a3c9a70cf683 SHA512 b314664a35c77809172a8ac8fb6d07e565d98877ce9847b082d5386aff279cd87527b199881e84795254e68cde6fcd06f69ace8a3dcb016bc614def523f60957 EBUILD gnat_util-2017.ebuild 1404 BLAKE2B 7f66ffa00fd9cfc9d4af3e0bafc945582f720d134b9b56ac2939cd9e05423dd944103d1004b7b7bab93a499d40ae7922cd93084f531ab79f5bedd39407b8fac4 SHA512 4c056592777aeaab9f908ee39c6d1f27be12900b73626db628225b4ca6575c3821d51239f75ee15f931dc41a1c55ccef4a772c58a3c96022a4fdd196fcf57c6c -MISC metadata.xml 1089 BLAKE2B 7c47328868c0760d57201e434899bd832918e6bc68810dabedb061fd4ee2fb16c9908987fc5d90511ebf91f2901a7947ca626001ca242af0ff6f621cb9e03bf5 SHA512 ce4ba6a642deb1e60d84e01c32bba7478554afe4a9c71c32c7131034e82a0ba0c410891e2d1d7e31e33fe27125ba611dc20e716bb0f688658809f05769427ed7 +EBUILD gnat_util-2018.ebuild 1383 BLAKE2B 3ded125713d428453b9777fa7a06dfed7caab00a9410c8a7650c476e83512749f1bfa25e953675426fcd2daeac49cf5d2131561db4c66ba67ae898bffbc667ae SHA512 253790479745562f02fd9441bdc4772cb4822943bd3a33d2e28b440ce1fef1ec3b11314a4882d4d4ebfa3484cd1363e8636d97ba6a8dcdba58b3a14d2e8f6735 +MISC metadata.xml 1157 BLAKE2B e747ed9b4c63bd802debbc784ca3aed291382259989a1ca3c5622a8058e407df3133d05635ba7442038dd78d5627bb37a9f16af278aa9bb490244884532a00c2 SHA512 b7dad53debfedd16f6192d7632557b4a65580bae8a47bef0d6138958b91ac329c96e629713c3274707a70846f332834081755fbb77c12842e75da966a39ec6ad diff --git a/dev-ada/gnat_util/gnat_util-2018.ebuild b/dev-ada/gnat_util/gnat_util-2018.ebuild new file mode 100644 index 000000000000..3f9094eca060 --- /dev/null +++ b/dev-ada/gnat_util/gnat_util-2018.ebuild @@ -0,0 +1,56 @@ +# Copyright 1999-2018 Gentoo Foundation +# 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_2016 gnat_2017 +gnat_2018 +shared static-libs static-pic" + +RDEPEND="dev-lang/gnat-gpl:7.3.0" +DEPEND="${RDEPEND} + dev-ada/gprbuild[gnat_2018]" +REQUIRED_USE="!gnat_2016 !gnat_2017 gnat_2018" + +S="${WORKDIR}"/${MYP}-src + +PATCHES=( "${FILESDIR}"/${PN}-2017-gentoo.patch ) + +src_compile() { + GCC_PV=7.3.0 + GCC=${CHOST}-gcc-${GCC_PV} + GNATMAKE=${CHOST}-gnatmake-${GCC_PV} + emake GNATMAKE="${GNATMAKE} ${ADAFLAGS}" \ + BUILDER="gprbuild -j$(makeopts_jobs)" generate_sources + if use static-libs; then + emake CC="${GCC}" BUILDER="gprbuild -v -j$(makeopts_jobs)" build-static + fi + for kind in shared static-pic; do + if use ${kind}; then + emake CC="${GCC}" 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 031651ccbbdc..fb8adc913f1c 100644 --- a/dev-ada/gnat_util/metadata.xml +++ b/dev-ada/gnat_util/metadata.xml @@ -8,6 +8,7 @@ <use> <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="shared">Build gnat_util shared library</flag> <flag name="static-pic">Build gnat_util static library with pic code</flag> </use> |