| 1 |
commit: b32b7fcb488df5480478c4240a236980dde466bc |
| 2 |
Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org> |
| 3 |
AuthorDate: Sun Jun 10 08:08:05 2018 +0000 |
| 4 |
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> |
| 5 |
CommitDate: Sun Jun 10 08:08:05 2018 +0000 |
| 6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b32b7fcb |
| 7 |
|
| 8 |
dev-ada/gnat_util: Version bump to dev-ada/gnat_util-2018 |
| 9 |
|
| 10 |
Package-Manager: Portage-2.3.24, Repoman-2.3.6 |
| 11 |
|
| 12 |
dev-ada/gnat_util/Manifest | 1 + |
| 13 |
dev-ada/gnat_util/gnat_util-2018.ebuild | 56 +++++++++++++++++++++++++++++++++ |
| 14 |
dev-ada/gnat_util/metadata.xml | 1 + |
| 15 |
3 files changed, 58 insertions(+) |
| 16 |
|
| 17 |
diff --git a/dev-ada/gnat_util/Manifest b/dev-ada/gnat_util/Manifest |
| 18 |
index 08fcac7e67f..cfcd6cc8d38 100644 |
| 19 |
--- a/dev-ada/gnat_util/Manifest |
| 20 |
+++ b/dev-ada/gnat_util/Manifest |
| 21 |
@@ -1,2 +1,3 @@ |
| 22 |
DIST gnat_util-gpl-2016-src.tar.gz 1126296 BLAKE2B e1e7c2628b6a012ca3ad5809d4ea785a9fa68ed5e7f67a80475ece80161f53d611eb9a383591167d30f2a1125de48299123cc0c0b4807b6bcb4bca197bda78ed SHA512 1edb67e762637e9e951356c7be402d7b2b903a05abdc93eadaf5ba98bc7bfa936b4fa2a2ae7eb986200dec755020e53d312d42769512fba2e290099f6030bbd0 |
| 23 |
DIST gnat_util-gpl-2017-src.tar.gz 868496 BLAKE2B d105a59f0533428a4d57b3c81c0818f4d1bd457b113d775fe97f35f7352e03b602ac0e6d7b970e408fb3dd6d30f0d4e60feffccf42dbdc0723a76855b0164ee0 SHA512 d5e48c6fafc870f36094d2dfd5f45f2d5b5729c97596afff7475b7838c1c7c029ef57395ca1011ee74d8a4195597ea1f502732e654a02561a7abc72c8a7d3a6a |
| 24 |
+DIST gnat_util-gpl-2018-src.tar.gz 883945 BLAKE2B e30ee379f4ea9525337b0794d4fc91c80458b3b1dd3d10cbc455c6f566d4d073b6753c171ffbbabd85995717de249cdee7c094b7ba00d752a13e18d0f54da192 SHA512 490b0fa944f4b9fee2a4e78c1181658eb8f95262314455c41beb3ebe9db5dd540090d1f9840357572969721966fa11085dc680f3498dc539631ef3f4dbf56426 |
| 25 |
|
| 26 |
diff --git a/dev-ada/gnat_util/gnat_util-2018.ebuild b/dev-ada/gnat_util/gnat_util-2018.ebuild |
| 27 |
new file mode 100644 |
| 28 |
index 00000000000..3f9094eca06 |
| 29 |
--- /dev/null |
| 30 |
+++ b/dev-ada/gnat_util/gnat_util-2018.ebuild |
| 31 |
@@ -0,0 +1,56 @@ |
| 32 |
+# Copyright 1999-2018 Gentoo Foundation |
| 33 |
+# Distributed under the terms of the GNU General Public License v2 |
| 34 |
+ |
| 35 |
+EAPI=6 |
| 36 |
+ |
| 37 |
+inherit toolchain-funcs multiprocessing |
| 38 |
+ |
| 39 |
+MYP=${PN}-gpl-${PV} |
| 40 |
+ |
| 41 |
+DESCRIPTION="Provides access to GNAT compiler internals for AdaCore utilities" |
| 42 |
+HOMEPAGE="http://libre.adacore.com" |
| 43 |
+SRC_URI="http://mirrors.cdn.adacore.com/art/5b0819dfc7a447df26c27a6b |
| 44 |
+ -> ${MYP}-src.tar.gz" |
| 45 |
+ |
| 46 |
+LICENSE="GPL-3" |
| 47 |
+SLOT="0" |
| 48 |
+KEYWORDS="~amd64 ~x86" |
| 49 |
+IUSE="gnat_2016 gnat_2017 +gnat_2018 +shared static-libs static-pic" |
| 50 |
+ |
| 51 |
+RDEPEND="dev-lang/gnat-gpl:7.3.0" |
| 52 |
+DEPEND="${RDEPEND} |
| 53 |
+ dev-ada/gprbuild[gnat_2018]" |
| 54 |
+REQUIRED_USE="!gnat_2016 !gnat_2017 gnat_2018" |
| 55 |
+ |
| 56 |
+S="${WORKDIR}"/${MYP}-src |
| 57 |
+ |
| 58 |
+PATCHES=( "${FILESDIR}"/${PN}-2017-gentoo.patch ) |
| 59 |
+ |
| 60 |
+src_compile() { |
| 61 |
+ GCC_PV=7.3.0 |
| 62 |
+ GCC=${CHOST}-gcc-${GCC_PV} |
| 63 |
+ GNATMAKE=${CHOST}-gnatmake-${GCC_PV} |
| 64 |
+ emake GNATMAKE="${GNATMAKE} ${ADAFLAGS}" \ |
| 65 |
+ BUILDER="gprbuild -j$(makeopts_jobs)" generate_sources |
| 66 |
+ if use static-libs; then |
| 67 |
+ emake CC="${GCC}" BUILDER="gprbuild -v -j$(makeopts_jobs)" build-static |
| 68 |
+ fi |
| 69 |
+ for kind in shared static-pic; do |
| 70 |
+ if use ${kind}; then |
| 71 |
+ emake CC="${GCC}" BUILDER="gprbuild -v -j$(makeopts_jobs)" \ |
| 72 |
+ build-${kind} |
| 73 |
+ fi |
| 74 |
+ done |
| 75 |
+} |
| 76 |
+ |
| 77 |
+src_install() { |
| 78 |
+ if use static-libs; then |
| 79 |
+ emake prefix="${D}"/usr install-static |
| 80 |
+ fi |
| 81 |
+ for kind in shared static-pic; do |
| 82 |
+ if use ${kind}; then |
| 83 |
+ emake prefix="${D}"/usr install-${kind} |
| 84 |
+ fi |
| 85 |
+ done |
| 86 |
+ einstalldocs |
| 87 |
+} |
| 88 |
|
| 89 |
diff --git a/dev-ada/gnat_util/metadata.xml b/dev-ada/gnat_util/metadata.xml |
| 90 |
index 031651ccbbd..fb8adc913f1 100644 |
| 91 |
--- a/dev-ada/gnat_util/metadata.xml |
| 92 |
+++ b/dev-ada/gnat_util/metadata.xml |
| 93 |
@@ -8,6 +8,7 @@ |
| 94 |
<use> |
| 95 |
<flag name="gnat_2016">Compile with dev-lang/gnat-gpl-2016</flag> |
| 96 |
<flag name="gnat_2017">Compile with dev-lang/gnat-gpl-2017</flag> |
| 97 |
+ <flag name="gnat_2018">Compile with dev-lang/gnat-gpl-2018</flag> |
| 98 |
<flag name="shared">Build gnat_util shared library</flag> |
| 99 |
<flag name="static-pic">Build gnat_util static library with pic code</flag> |
| 100 |
</use> |
Archives