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 |