dev-ada/asis: bump to 2019

Signed-off-by: Alfredo Tupone <[email protected]>
Package-Manager: Portage-2.3.66, Repoman-2.3.11

dev-ada/asis/Manifest

@@ -1,2 +1,3 @@
+DIST asis-2019-20190517-18AB5-src.tar.gz 6173053 BLAKE2B 2ce8ba783f5d58503f6b792329779eb8a5f99746b3b03225f13da058ed5a757aef49c6ae8729b71079c67da6537c35db1c7173a569a2d7063421da5d2adee2c4 SHA512 3ca32fa2eeee10ef2d0e6eb8ab555c3e31b417bdab6749fdd8bd264efa2c93a388a5731c40705782a3a28f16e0c385af195f69d95020e265b2230ead1c91977f
 DIST asis-gpl-2016-src.tar.gz 5240554 BLAKE2B b95be816f5f52ac2b29814c09166774884dc166df6e08b26769c9502443f9797c42a1f9b6168336636add6515b748b3ef4b38c6a1dc6f49c1afb9ecec8e50c50 SHA512 439195d4cb5d58328dcc8c815cb6a32c5f8ed1d6581246dfa5dcca7c212ffad38dd63df25e490c4ac628eaf8c8e6d286f8ea036b7f39499704565b60c1bba8ee
 DIST asis-gpl-2018-src.tar.gz 5983604 BLAKE2B d91e3ff5cb95ec5b69121ed09e73f7bff234147b809353577315cd25cae0069ec5ebfc221a9798341b2a33bde316d74c4ce47c7ace580fe4d867e47032e207f2 SHA512 e00750adf17df8d534f0e561d129002d8b3c9efd6ba9c8d6768840d1399933271d748bafb7358a45d0a520620a335e669a6c2770ed89660bb319b609961a433a

dev-ada/asis/asis-2019.ebuild

@@ -0,0 +1,54 @@
+# Copyright 1999-2019 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit multiprocessing
+MYP=${P}-20190517-18AB5-src
+
+DESCRIPTION="To develop tools for Ada software"
+HOMEPAGE="http://libre.adacore.com/"
+SRC_URI="http://mirrors.cdn.adacore.com/art/5cdf849031e87aa2cdf16b10
+ -> ${MYP}.tar.gz"
+
+LICENSE="GPL-3"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+IUSE="gnat_2017 gnat_2018 +gnat_2019"
+
+RDEPEND="
+ dev-ada/gnat_util[gnat_2017(-)?]
+ dev-ada/gnat_util[gnat_2018(-)?,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
+}