diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2021-01-31 00:47:43 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2021-01-31 01:06:31 +0100 |
| commit | 34b29c890e10bb160cb390da8b3dfbd7bfe02aa3 (patch) | |
| tree | d596d261e8ac87b99c999c523d358d232acde6c9 | |
| parent | dev-ada/gps: Remove last-rited pkg (diff) | |
| download | gentoo-34b29c890e10bb160cb390da8b3dfbd7bfe02aa3.tar.gz gentoo-34b29c890e10bb160cb390da8b3dfbd7bfe02aa3.tar.bz2 gentoo-34b29c890e10bb160cb390da8b3dfbd7bfe02aa3.zip | |
dev-ada/libadalang-tools: Remove last-rited pkg
Closes: https://bugs.gentoo.org/735264
Signed-off-by: Michał Górny <mgorny@gentoo.org>
| -rw-r--r-- | dev-ada/libadalang-tools/Manifest | 1 | ||||
| -rw-r--r-- | dev-ada/libadalang-tools/libadalang-tools-2019-r1.ebuild | 40 | ||||
| -rw-r--r-- | dev-ada/libadalang-tools/metadata.xml | 7 | ||||
| -rw-r--r-- | profiles/package.mask | 1 |
4 files changed, 0 insertions, 49 deletions
diff --git a/dev-ada/libadalang-tools/Manifest b/dev-ada/libadalang-tools/Manifest deleted file mode 100644 index 4875851f52d8..000000000000 --- a/dev-ada/libadalang-tools/Manifest +++ /dev/null @@ -1 +0,0 @@ -DIST libadalang-tools-2019-20190517-195C4-src.tar.gz 625775 BLAKE2B 2ec69e307576c505d20a43d229b13404966f4442778e5390da327ae71cc065873de4fff03a720949fa6bfb5ce66f405e7d45f7f0c21032a639efcff208323aed SHA512 b7368606847244cbb08ff2111fabfbfc8a9aa7f58e953febc70838006d94711dba1fd75bfb69ed2081a37a2dfaaad46097127870696c882d7cc54de5d7b051a1 diff --git a/dev-ada/libadalang-tools/libadalang-tools-2019-r1.ebuild b/dev-ada/libadalang-tools/libadalang-tools-2019-r1.ebuild deleted file mode 100644 index 501150ff3d5b..000000000000 --- a/dev-ada/libadalang-tools/libadalang-tools-2019-r1.ebuild +++ /dev/null @@ -1,40 +0,0 @@ -# Copyright 1999-2020 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -ADA_COMPAT=( gnat_201{6,7,8,9} ) -inherit ada multiprocessing - -MYP=${P}-20190517-195C4 -DESCRIPTION="Libadalang-based tools: gnatpp, gnatmetric and gnatstub" -HOMEPAGE="https://www.adacore.com/community" -SRC_URI="http://mirrors.cdn.adacore.com/art/5cdf8f4e31e87a8f1d42509f -> - ${MYP}-src.tar.gz" - -LICENSE="GPL-3" -SLOT="0" -KEYWORDS="amd64 x86" -IUSE="" - -RESTRICT="test" - -RDEPEND="${ADA_DEPS}" -DEPEND="${RDEPEND} - dev-ada/libadalang[${ADA_USEDEP},static-libs] - dev-ada/gprbuild[${ADA_USEDEP}]" - -S="${WORKDIR}"/${MYP}-src - -src_compile() { - gprbuild -v -k -XLIBRARY_TYPE=static -XXMLADA_BUILD=static \ - -XGNATCOLL_GMP_BUILD=static \ - -P src/build.gpr -p -j$(makeopts_jobs) || die -} - -src_install() { - dobin bin/gnatpp - newbin bin/gnatmetric gnatmetric-tool - newbin bin/gnatstub gnatstub-tool - einstalldocs -} diff --git a/dev-ada/libadalang-tools/metadata.xml b/dev-ada/libadalang-tools/metadata.xml deleted file mode 100644 index d2615c1b0e0a..000000000000 --- a/dev-ada/libadalang-tools/metadata.xml +++ /dev/null @@ -1,7 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> -<pkgmetadata> - <maintainer type="project"> - <email>ada@gentoo.org</email> - </maintainer> -</pkgmetadata> diff --git a/profiles/package.mask b/profiles/package.mask index c87edc6eccf5..a881278ff35b 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -348,7 +348,6 @@ dev-lang/spark # Removal in 30 days. dev-ada/langkit dev-ada/libadalang -dev-ada/libadalang-tools # Mart Raudsepp <leio@gentoo.org> (2020-08-15) # Development release, needs testing to ensure valac-0.50 |