diff options
Diffstat (limited to 'dev-ada')
| -rw-r--r-- | dev-ada/xmlada/Manifest | 1 | ||||
| -rw-r--r-- | dev-ada/xmlada/xmlada-2018.ebuild | 80 | ||||
| -rw-r--r-- | dev-ada/xmlada/xmlada-2019.ebuild | 83 |
3 files changed, 0 insertions, 164 deletions
diff --git a/dev-ada/xmlada/Manifest b/dev-ada/xmlada/Manifest index 4e513082eb36..d6dbc1705d15 100644 --- a/dev-ada/xmlada/Manifest +++ b/dev-ada/xmlada/Manifest @@ -1,2 +1 @@ DIST xmlada-2019-20190429-19B9D-src.tar.gz 1582603 BLAKE2B e2be3e7c0c8b843bfc808a3dd726235a82588caed8c919975a97ce34c72d6d634361bbc34208590210936add9e2f881b59d01168ef79abed1e489c50b27094d8 SHA512 f8e0e25b0aee9a7a18223ae7761603082af55134f062c767d0cd0dbf0dbcb2058fc7c57532b567fb2c6efa464a53ead57b300578e98962025866e5c3ad73e380 -DIST xmlada-gpl-2018-src.tar.gz 1582215 BLAKE2B 11012dab19f45507eeb5ce6ebec9a77ceb5dfb7749960922f0f48bb1b0409305fd43466a7af90b48ff0a0cf58612e8859274a92e0fe272b4e57a59b92a1725f1 SHA512 8970c4e68defad66625c1110554dadfc485fbbe42e832987593cf727e98f13dd87c90b84461187dbbe2b1051831e6e70f9f53d6a0cfc07451726d601b2856430 diff --git a/dev-ada/xmlada/xmlada-2018.ebuild b/dev-ada/xmlada/xmlada-2018.ebuild deleted file mode 100644 index 752a6a94d5a2..000000000000 --- a/dev-ada/xmlada/xmlada-2018.ebuild +++ /dev/null @@ -1,80 +0,0 @@ -# Copyright 1999-2018 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=6 - -inherit multiprocessing - -MYP=${PN}-gpl-${PV} - -DESCRIPTION="Set of modules that provide a simple manipulation of XML streams" -HOMEPAGE="http://libre.adacore.com/" -SRC_URI="http://mirrors.cdn.adacore.com/art/591aeb88c7a4473fcbb154f8 -> - ${MYP}-src.tar.gz" - -LICENSE="GPL-3" -SLOT="0" -KEYWORDS="amd64 x86" -IUSE="gnat_2016 gnat_2017 +gnat_2018 +shared static-libs static-pic" -REQUIRED_USE="|| ( shared static-libs static-pic ) - ^^ ( gnat_2016 gnat_2017 gnat_2018 )" - -RDEPEND="gnat_2016? ( dev-lang/gnat-gpl:4.9.4 ) - gnat_2017? ( dev-lang/gnat-gpl:6.3.0 ) - gnat_2018? ( dev-lang/gnat-gpl:7.3.1 )" -DEPEND="${RDEPEND} - dev-ada/gprbuild[gnat_2016(-)?,gnat_2017(-)?,gnat_2018(-)?]" - -S="${WORKDIR}"/${MYP}-src - -PATCHES=( "${FILESDIR}"/${P}-gentoo.patch ) - -src_configure () { - econf --prefix="${D}"/usr -} - -src_compile () { - build () { - gprbuild -j$(makeopts_jobs) -m -p -v -XLIBRARY_TYPE=$1 \ - -XBUILD=Production -XPROCESSORS=$(makeopts_jobs) xmlada.gpr \ - -cargs ${ADAFLAGS} || die "gprbuild failed" - } - if use shared; then - build relocatable - fi - if use static-libs; then - build static - fi - if use static-pic; then - build static-pic - fi -} - -src_test() { - emake test - emake run_test | grep DIFF && die -} - -src_install () { - build () { - gprinstall -XLIBRARY_TYPE=$1 -f -p -XBUILD=Production \ - -XPROCESSORS=$(makeopts_jobs) --prefix="${D}"usr \ - --install-name=xmlada --build-var=LIBRARY_TYPE \ - --build-var=XMLADA_BUILD \ - --build-name=$1 xmlada.gpr || die "gprinstall failed" - } - if use shared; then - build relocatable - fi - if use static-libs; then - build static - fi - if use static-pic; then - build static-pic - fi - - einstalldocs - dodoc xmlada-roadmap.txt - rm "${D}"/usr/share/doc/${PN}/.buildinfo || die - rm -r "${D}"/usr/share/gpr/manifests || die -} diff --git a/dev-ada/xmlada/xmlada-2019.ebuild b/dev-ada/xmlada/xmlada-2019.ebuild deleted file mode 100644 index b841cf90e04c..000000000000 --- a/dev-ada/xmlada/xmlada-2019.ebuild +++ /dev/null @@ -1,83 +0,0 @@ -# Copyright 1999-2019 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit multiprocessing - -MYP=${P}-20190429-19B9D - -DESCRIPTION="Set of modules that provide a simple manipulation of XML streams" -HOMEPAGE="http://libre.adacore.com/" -SRC_URI="http://mirrors.cdn.adacore.com/art/5cdf916831e87a8f1d4250b5 - -> ${MYP}-src.tar.gz" - -LICENSE="GPL-3" -SLOT="0" -KEYWORDS="amd64 x86" -IUSE="gnat_2016 gnat_2017 gnat_2018 +gnat_2019 +shared static-libs static-pic" -REQUIRED_USE="|| ( shared static-libs static-pic ) - ^^ ( gnat_2016 gnat_2017 gnat_2018 gnat_2019 )" - -RDEPEND="gnat_2016? ( dev-lang/gnat-gpl:4.9.4 ) - gnat_2017? ( dev-lang/gnat-gpl:6.3.0 ) - gnat_2018? ( dev-lang/gnat-gpl:7.3.1 ) - gnat_2019? ( dev-lang/gnat-gpl:8.3.1 )" -DEPEND="${RDEPEND} - dev-ada/gprbuild[gnat_2016(-)?,gnat_2017(-)?,gnat_2018(-)?] - dev-ada/gprbuild[gnat_2019(-)?]" - -S="${WORKDIR}"/${MYP}-src - -PATCHES=( "${FILESDIR}"/${P}-gentoo.patch ) - -src_configure () { - econf --prefix="${D}"/usr -} - -src_compile () { - build () { - gprbuild -j$(makeopts_jobs) -m -p -v -XLIBRARY_TYPE=$1 \ - -XBUILD=Production -XPROCESSORS=$(makeopts_jobs) xmlada.gpr \ - -cargs ${ADAFLAGS} || die "gprbuild failed" - } - if use shared; then - build relocatable - fi - if use static-libs; then - build static - fi - if use static-pic; then - build static-pic - fi -} - -src_test() { - emake test - emake run_test | tee xmlada.testLog - grep -q DIFF xmlada.testLog && die -} - -src_install () { - build () { - gprinstall -XLIBRARY_TYPE=$1 -f -p -XBUILD=Production \ - -XPROCESSORS=$(makeopts_jobs) --prefix="${D}"/usr \ - --install-name=xmlada --build-var=LIBRARY_TYPE \ - --build-var=XMLADA_BUILD \ - --build-name=$1 xmlada.gpr || die "gprinstall failed" - } - if use shared; then - build relocatable - fi - if use static-libs; then - build static - fi - if use static-pic; then - build static-pic - fi - - einstalldocs - dodoc xmlada-roadmap.txt - rm "${D}"/usr/share/doc/${PN}/.buildinfo || die - rm -r "${D}"/usr/share/gpr/manifests || die -} |