summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ada')
-rw-r--r--dev-ada/asis/Manifest1
-rw-r--r--dev-ada/asis/asis-2016.ebuild47
-rw-r--r--dev-ada/asis/asis-2018.ebuild49
-rw-r--r--dev-ada/asis/asis-2019.ebuild51
4 files changed, 0 insertions, 148 deletions
diff --git a/dev-ada/asis/Manifest b/dev-ada/asis/Manifest
index 54fceda32a3a..6b39cfd014ab 100644
--- a/dev-ada/asis/Manifest
+++ b/dev-ada/asis/Manifest
@@ -1,3 +1,2 @@
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
diff --git a/dev-ada/asis/asis-2016.ebuild b/dev-ada/asis/asis-2016.ebuild
deleted file mode 100644
index 04c0050fa64e..000000000000
--- a/dev-ada/asis/asis-2016.ebuild
+++ /dev/null
@@ -1,47 +0,0 @@
-# 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/57399029c7a447658e0aff71
- -> ${MYP}.tar.gz"
-
-LICENSE="GPL-3"
-SLOT="0"
-KEYWORDS="amd64 x86"
-IUSE="+gnat_2016 gnat_2017 gnat_2018"
-
-RDEPEND="dev-ada/gnat_util[gnat_2016(-)?,gnat_2017(-)?]
- dev-ada/gnatcoll-core[gnat_2016=,gnat_2017=,shared]"
-DEPEND="${RDEPEND}
- dev-ada/gprbuild[gnat_2016(-)?,gnat_2017(-)?]"
-
-REQUIRED_USE="^^ ( gnat_2016 gnat_2017 ) !gnat_2018"
-
-S="${WORKDIR}"/${MYP}
-
-PATCHES=( "${FILESDIR}"/${P}-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"
-}
diff --git a/dev-ada/asis/asis-2018.ebuild b/dev-ada/asis/asis-2018.ebuild
deleted file mode 100644
index c289e599186f..000000000000
--- a/dev-ada/asis/asis-2018.ebuild
+++ /dev/null
@@ -1,49 +0,0 @@
-# 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"
-
-RDEPEND="dev-ada/gnat_util[gnat_2017(-)?,gnat_2018(-)?]
- dev-ada/gnatcoll-core[gnat_2017(-)?,gnat_2018(-)?,shared]"
-DEPEND="${RDEPEND}
- dev-ada/gprbuild[gnat_2017(-)?,gnat_2018(-)?]"
-
-REQUIRED_USE="|| ( gnat_2017 gnat_2018 )"
-
-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/asis-2019.ebuild b/dev-ada/asis/asis-2019.ebuild
deleted file mode 100644
index 957c6f8e1b9a..000000000000
--- a/dev-ada/asis/asis-2019.ebuild
+++ /dev/null
@@ -1,51 +0,0 @@
-# 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]"
-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
-}