Gentoo Archives: gentoo-commits

From: "Michał Górny" <mgorny@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: profiles/, dev-ada/libadalang-tools/
Date: Sun, 31 Jan 2021 00:07:53
Message-Id: 1612051591.34b29c890e10bb160cb390da8b3dfbd7bfe02aa3.mgorny@gentoo
1 commit: 34b29c890e10bb160cb390da8b3dfbd7bfe02aa3
2 Author: Michał Górny <mgorny <AT> gentoo <DOT> org>
3 AuthorDate: Sat Jan 30 23:47:43 2021 +0000
4 Commit: Michał Górny <mgorny <AT> gentoo <DOT> org>
5 CommitDate: Sun Jan 31 00:06:31 2021 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=34b29c89
7
8 dev-ada/libadalang-tools: Remove last-rited pkg
9
10 Closes: https://bugs.gentoo.org/735264
11 Signed-off-by: Michał Górny <mgorny <AT> gentoo.org>
12
13 dev-ada/libadalang-tools/Manifest | 1 -
14 .../libadalang-tools-2019-r1.ebuild | 40 ----------------------
15 dev-ada/libadalang-tools/metadata.xml | 7 ----
16 profiles/package.mask | 1 -
17 4 files changed, 49 deletions(-)
18
19 diff --git a/dev-ada/libadalang-tools/Manifest b/dev-ada/libadalang-tools/Manifest
20 deleted file mode 100644
21 index 4875851f52d..00000000000
22 --- a/dev-ada/libadalang-tools/Manifest
23 +++ /dev/null
24 @@ -1 +0,0 @@
25 -DIST libadalang-tools-2019-20190517-195C4-src.tar.gz 625775 BLAKE2B 2ec69e307576c505d20a43d229b13404966f4442778e5390da327ae71cc065873de4fff03a720949fa6bfb5ce66f405e7d45f7f0c21032a639efcff208323aed SHA512 b7368606847244cbb08ff2111fabfbfc8a9aa7f58e953febc70838006d94711dba1fd75bfb69ed2081a37a2dfaaad46097127870696c882d7cc54de5d7b051a1
26
27 diff --git a/dev-ada/libadalang-tools/libadalang-tools-2019-r1.ebuild b/dev-ada/libadalang-tools/libadalang-tools-2019-r1.ebuild
28 deleted file mode 100644
29 index 501150ff3d5..00000000000
30 --- a/dev-ada/libadalang-tools/libadalang-tools-2019-r1.ebuild
31 +++ /dev/null
32 @@ -1,40 +0,0 @@
33 -# Copyright 1999-2020 Gentoo Authors
34 -# Distributed under the terms of the GNU General Public License v2
35 -
36 -EAPI=7
37 -
38 -ADA_COMPAT=( gnat_201{6,7,8,9} )
39 -inherit ada multiprocessing
40 -
41 -MYP=${P}-20190517-195C4
42 -DESCRIPTION="Libadalang-based tools: gnatpp, gnatmetric and gnatstub"
43 -HOMEPAGE="https://www.adacore.com/community"
44 -SRC_URI="http://mirrors.cdn.adacore.com/art/5cdf8f4e31e87a8f1d42509f ->
45 - ${MYP}-src.tar.gz"
46 -
47 -LICENSE="GPL-3"
48 -SLOT="0"
49 -KEYWORDS="amd64 x86"
50 -IUSE=""
51 -
52 -RESTRICT="test"
53 -
54 -RDEPEND="${ADA_DEPS}"
55 -DEPEND="${RDEPEND}
56 - dev-ada/libadalang[${ADA_USEDEP},static-libs]
57 - dev-ada/gprbuild[${ADA_USEDEP}]"
58 -
59 -S="${WORKDIR}"/${MYP}-src
60 -
61 -src_compile() {
62 - gprbuild -v -k -XLIBRARY_TYPE=static -XXMLADA_BUILD=static \
63 - -XGNATCOLL_GMP_BUILD=static \
64 - -P src/build.gpr -p -j$(makeopts_jobs) || die
65 -}
66 -
67 -src_install() {
68 - dobin bin/gnatpp
69 - newbin bin/gnatmetric gnatmetric-tool
70 - newbin bin/gnatstub gnatstub-tool
71 - einstalldocs
72 -}
73
74 diff --git a/dev-ada/libadalang-tools/metadata.xml b/dev-ada/libadalang-tools/metadata.xml
75 deleted file mode 100644
76 index d2615c1b0e0..00000000000
77 --- a/dev-ada/libadalang-tools/metadata.xml
78 +++ /dev/null
79 @@ -1,7 +0,0 @@
80 -<?xml version="1.0" encoding="UTF-8"?>
81 -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
82 -<pkgmetadata>
83 - <maintainer type="project">
84 - <email>ada@g.o</email>
85 - </maintainer>
86 -</pkgmetadata>
87
88 diff --git a/profiles/package.mask b/profiles/package.mask
89 index c87edc6eccf..a881278ff35 100644
90 --- a/profiles/package.mask
91 +++ b/profiles/package.mask
92 @@ -348,7 +348,6 @@ dev-lang/spark
93 # Removal in 30 days.
94 dev-ada/langkit
95 dev-ada/libadalang
96 -dev-ada/libadalang-tools
97
98 # Mart Raudsepp <leio@g.o> (2020-08-15)
99 # Development release, needs testing to ensure valac-0.50