summaryrefslogtreecommitdiff
path: root/dev-ada/asis
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ada/asis')
-rw-r--r--dev-ada/asis/Manifest3
-rw-r--r--dev-ada/asis/asis-2018-r1.ebuild55
-rw-r--r--dev-ada/asis/metadata.xml1
3 files changed, 58 insertions, 1 deletions
diff --git a/dev-ada/asis/Manifest b/dev-ada/asis/Manifest
index dc8171935958..d32c1450bb0d 100644
--- a/dev-ada/asis/Manifest
+++ b/dev-ada/asis/Manifest
@@ -3,5 +3,6 @@ AUX asis-2017-gentoo.patch 2030 BLAKE2B 261d2e32b818f17ea4ea51047cf71b73f89d9180
DIST asis-gpl-2016-src.tar.gz 5240554 BLAKE2B b95be816f5f52ac2b29814c09166774884dc166df6e08b26769c9502443f9797c42a1f9b6168336636add6515b748b3ef4b38c6a1dc6f49c1afb9ecec8e50c50 SHA512 439195d4cb5d58328dcc8c815cb6a32c5f8ed1d6581246dfa5dcca7c212ffad38dd63df25e490c4ac628eaf8c8e6d286f8ea036b7f39499704565b60c1bba8ee
DIST asis-gpl-2018-src.tar.gz 5983604 BLAKE2B d91e3ff5cb95ec5b69121ed09e73f7bff234147b809353577315cd25cae0069ec5ebfc221a9798341b2a33bde316d74c4ce47c7ace580fe4d867e47032e207f2 SHA512 e00750adf17df8d534f0e561d129002d8b3c9efd6ba9c8d6768840d1399933271d748bafb7358a45d0a520620a335e669a6c2770ed89660bb319b609961a433a
EBUILD asis-2016.ebuild 1220 BLAKE2B 3d31f42030ea2cf19b2c98159018528cfe423cdb4fbabb0bfe116cd5f153c2c2f4a80f357381cc8dbacb25134234f4529b36214596bdfd6f03af03423ed71e03 SHA512 77c3f1f87a1cfbbb96080e37a1ebf5d3a3407eda5e31e8fba02f2e155207e07cc3ec5c47917a0b4ae11293ae053e5c0602a2b46d5655bbe817a5a1a0d0010111
+EBUILD asis-2018-r1.ebuild 1441 BLAKE2B 61e2a30f0c81fbfc7ab0203c3b518b410f4bd912e3722760e2bb9b36ce95fcb042a58c8e3c5fd87978ab1a1210dc9d9f86a62995dde61d3302996abe4c5e3dd3 SHA512 013d1d4dede6929b512b58d9244709dc56b4524a0ccc655e7fe372b1d18651851eb026490f2c5df990ab85471aba5fba9a8638e16dfc5faf7eba22b18796dc6d
EBUILD asis-2018.ebuild 1297 BLAKE2B e8fd884ce0b058dd198aadc4c0937ccac24585ec37dfe40e34f44f65e756df2ddf6b84d366a200f018aa60887c8564cc552966118cf8be2ce81a9cf803e355fd SHA512 6f4ced4d984e41c98bce656dc82c266f04287728660d80720595c4382c799b1382522eb7f4df6e6f8b81b34ee5fb7865ecccf40dee3f4e86982470fce602d395
-MISC metadata.xml 758 BLAKE2B aebcdb7e9be0cccf7350d68082d2461ec6a28c94df18dd936f689a3cf02a0139b96c0208fb7e8ff677ff0cb977199f8b4ef097faf6b3376624c4bf220845f216 SHA512 b673b7f404971e44cd09f746338dc2cd655b4b5cd0ced7a742e6986a8d454b4c2738a7576dd5b1ebe5fbea4ff073de60a1fbaf8dddac90e54981159affa0fb07
+MISC metadata.xml 826 BLAKE2B 78caf8098338709c972cf58c16fb95f006658a97960dba628820ede952f99be63219690e0720225cce2291ca79d4ad878f9aea398c5736fe5b51a04d8d13478d SHA512 ac2ac3258c10548492e1cfe863b2666bd916cd5a89ae83aefbabba8ff235ab0e4a70e80cc94ef9768867c47b2d1ef98da6dd037ba144f64c33fe435d44617563
diff --git a/dev-ada/asis/asis-2018-r1.ebuild b/dev-ada/asis/asis-2018-r1.ebuild
new file mode 100644
index 000000000000..0bb54ce915bc
--- /dev/null
+++ b/dev-ada/asis/asis-2018-r1.ebuild
@@ -0,0 +1,55 @@
+# Copyright 1999-2019 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+inherit multiprocessing
+MYP=${PN}-gpl-${PV}-src
+
+DESCRIPTION="To develop tools for Ada software"
+HOMEPAGE="http://libre.adacore.com/"
+SRC_URI="http://mirrors.cdn.adacore.com/art/5b0819e0c7a447df26c27ab8
+ -> ${MYP}.tar.gz"
+
+LICENSE="GPL-3"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+IUSE="gnat_2017 +gnat_2018 gnat_2019"
+
+RDEPEND="
+ gnat_2017? ( dev-ada/gnat_util[gnat_2017] )
+ gnat_2018? ( dev-ada/gnat_util[gnat_2018] )
+ gnat_2019? ( dev-ada/gnat_util[gnat_2019] )
+ || (
+ dev-ada/gnatcoll-core[gnat_2017=,gnat_2018=,gnat_2019=,shared]
+ dev-ada/gnatcoll[gnat_2017=,gnat_2018=,gnat_2019=,projects,shared]
+ )"
+DEPEND="${RDEPEND}
+ dev-ada/gprbuild[gnat_2017=,gnat_2018=,gnat_2019=]"
+
+REQUIRED_USE="|| ( gnat_2017 gnat_2018 gnat_2019 )"
+
+S="${WORKDIR}"/${MYP}
+
+PATCHES=( "${FILESDIR}"/${PN}-2017-gentoo.patch )
+
+src_compile() {
+ emake PROCESSORS=$(makeopts_jobs) \
+ GPRBUILD_FLAGS="-vl"
+ emake tools PROCESSORS=$(makeopts_jobs) \
+ GPRBUILD_FLAGS="-vl \
+ -XGPR_BUILD=relocatable \
+ -XLIBRARY_TYPE=relocatable \
+ -XXMLADA_BUILD=relocatable"
+}
+
+src_install() {
+ 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
+ mv "${D}"/usr/bin/gnatpp{,-asis} || die
+}
diff --git a/dev-ada/asis/metadata.xml b/dev-ada/asis/metadata.xml
index 416ad818fe85..eade29a824bd 100644
--- a/dev-ada/asis/metadata.xml
+++ b/dev-ada/asis/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>
</use>
<longdescription lang="en">
ASIS is a library that gives applications access to the complete