1 |
commit: bcde67cec78708eaa3ef9726fe0f54546bbe1fcd |
2 |
Author: Michał Górny <mgorny <AT> gentoo <DOT> org> |
3 |
AuthorDate: Sat Jan 30 23:47:05 2021 +0000 |
4 |
Commit: Michał Górny <mgorny <AT> gentoo <DOT> org> |
5 |
CommitDate: Sun Jan 31 00:06:30 2021 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bcde67ce |
7 |
|
8 |
dev-ada/gps: Remove last-rited pkg |
9 |
|
10 |
Closes: https://bugs.gentoo.org/708186 |
11 |
Signed-off-by: Michał Górny <mgorny <AT> gentoo.org> |
12 |
|
13 |
dev-ada/gps/Manifest | 4 -- |
14 |
dev-ada/gps/files/gps-2019-gentoo.patch | 77 --------------------- |
15 |
dev-ada/gps/gps-2019-r1.ebuild | 114 -------------------------------- |
16 |
dev-ada/gps/metadata.xml | 12 ---- |
17 |
profiles/package.mask | 5 -- |
18 |
5 files changed, 212 deletions(-) |
19 |
|
20 |
diff --git a/dev-ada/gps/Manifest b/dev-ada/gps/Manifest |
21 |
deleted file mode 100644 |
22 |
index 354ebeca404..00000000000 |
23 |
--- a/dev-ada/gps/Manifest |
24 |
+++ /dev/null |
25 |
@@ -1,4 +0,0 @@ |
26 |
-DIST ada_language_server-2019-src.tar.gz 169018 BLAKE2B 3ed7412773887f6ebe58a8b08a6befa8be780d10c1abb3a38f524918fb60d7213699e2c7a2cd845d5dd154f9eccf8672ce8833e408dcdaa3621d173a0a8e5818 SHA512 dd25878719c5237c2f1e01097076758f25a350705a58c2988ff3e92179ceaf659981cdd0887df9916e4c1e2226419ebd526f14716da4d3fda0fcf454b9122d37 |
27 |
-DIST gps-gpl-2019-src.tar.gz 13758956 BLAKE2B 71158537d9d970b97db06c1a5ed40cfec2f7c8523dbced763227463450b4fd469817abcd61339cde96a13bb2b721141339b15444e55bdc64cee7ed2458fd42ed SHA512 4420311303122fd365794830fb7a7868832b8211804d6e11773f598c307229b139993b3c81d91646f7b5aa9a7fba118895234c4ac89193d960dd3170a04e52a7 |
28 |
-DIST gtk+-3.14.15-src.tar.gz 32009863 BLAKE2B 93c6897c431fa8e1c19ea758378bc7e365d486d1decccefbba64876d8c51a488e6bcf932481daa11e7e43a960a328c3db746e41a845e574c6b6070ab71e23188 SHA512 add4607a1758319a938d2be0bbd0dd140c4099accffa9301e3049bc460bf94f395c5a092368214e8b28d53bc25335d1b8329b50c7eb80a1e9a65b2e154135b84 |
29 |
-DIST libadalang-tools-2019-20190517-195C4-src.tar.gz 625775 BLAKE2B 2ec69e307576c505d20a43d229b13404966f4442778e5390da327ae71cc065873de4fff03a720949fa6bfb5ce66f405e7d45f7f0c21032a639efcff208323aed SHA512 b7368606847244cbb08ff2111fabfbfc8a9aa7f58e953febc70838006d94711dba1fd75bfb69ed2081a37a2dfaaad46097127870696c882d7cc54de5d7b051a1 |
30 |
|
31 |
diff --git a/dev-ada/gps/files/gps-2019-gentoo.patch b/dev-ada/gps/files/gps-2019-gentoo.patch |
32 |
deleted file mode 100644 |
33 |
index 00fc810a2b9..00000000000 |
34 |
--- a/dev-ada/gps/files/gps-2019-gentoo.patch |
35 |
+++ /dev/null |
36 |
@@ -1,77 +0,0 @@ |
37 |
---- a/gps/Makefile 2018-07-09 20:27:34.950424490 +0200 |
38 |
-+++ b/gps/Makefile 2018-07-09 20:37:39.510558817 +0200 |
39 |
-@@ -47,7 +47,8 @@ |
40 |
- for f in ../kernel/generated/*; do cat $$f | tr -d '\015' > $$f-aux; mv -f $$f-aux $$f; done |
41 |
- endif |
42 |
- $(GPRBUILD) $(GPRBUILD_FLAGS) -m -p -ws \ |
43 |
-- $(GPRBUILD_BUILD_TYPE_FLAGS) -Pgps -largs `pkg-config gmodule-2.0 --libs` |
44 |
-+ $(GPRBUILD_BUILD_TYPE_FLAGS) -Pgps -largs `pkg-config gmodule-2.0 --libs` -lpython2.7 \ |
45 |
-+ -cargs:Ada ${ADAFLAGS} -cargs:C ${CFLAGS} |
46 |
- |
47 |
- resources: |
48 |
- ifeq ($(OS),Windows_NT) |
49 |
---- a/Makefile.in 2018-07-09 21:51:08.422550386 +0200 |
50 |
-+++ b/Makefile.in 2018-07-09 21:51:32.187225891 +0200 |
51 |
-@@ -10,7 +10,7 @@ |
52 |
- INSTALL_PROGRAM = @INSTALL_PROGRAM@ |
53 |
- INSTALL_DATA = @INSTALL_DATA@ |
54 |
- GNATCOLL_INSTALL = @GNATCOLL_INSTALL@ |
55 |
--prefix = @prefix@ |
56 |
-+prefix = $(DESTDIR)@prefix@ |
57 |
- bindir = $(prefix)/bin |
58 |
- sharedir = $(prefix)/share |
59 |
- examplesdir = $(prefix)/share/examples/gps |
60 |
---- a/docs/Makefile.in 2018-07-09 21:53:33.074572729 +0200 |
61 |
-+++ b/docs/Makefile.in 2018-07-09 21:53:52.149311484 +0200 |
62 |
-@@ -1,4 +1,4 @@ |
63 |
--prefix = @prefix@ |
64 |
-+prefix = $(DESTDIR)@prefix@ |
65 |
- docdir = $(prefix)/share/doc/gps |
66 |
- sharedir = $(prefix)/share/gps |
67 |
- |
68 |
---- a/share/support/core/toolchains.py 2018-07-11 12:15:18.758674244 +0200 |
69 |
-+++ b/share/support/core/toolchains.py 2018-07-11 12:20:20.389220849 +0200 |
70 |
-@@ -16,11 +16,11 @@ |
71 |
- nullified by using an empty value in the corresponding tag |
72 |
- --> |
73 |
- <toolchain_default> |
74 |
-- <gnat_driver>gnat</gnat_driver> |
75 |
-- <gnat_list>gnatls</gnat_list> |
76 |
-+ <gnat_driver>@GNAT@</gnat_driver> |
77 |
-+ <gnat_list>@GNATLS@</gnat_list> |
78 |
- <debugger>gdb</debugger> |
79 |
- <cpp_filt>c++filt</cpp_filt> |
80 |
-- <compiler lang="ada">gnatmake</compiler> |
81 |
-+ <compiler lang="ada">@GNATMAKE@</compiler> |
82 |
- <compiler lang="c">gcc</compiler> |
83 |
- <compiler lang="c++">g++</compiler> |
84 |
- <compiler lang="asm">gcc</compiler> |
85 |
---- a/share/support/core/projects.py 2018-07-11 13:49:29.631289680 +0200 |
86 |
-+++ b/share/support/core/projects.py 2018-07-11 13:51:46.568252607 +0200 |
87 |
-@@ -146,7 +146,7 @@ |
88 |
- <string /> |
89 |
- </index> |
90 |
- <specialized_index value="Ada"> |
91 |
-- <choice default="true" >gnatmake</choice> |
92 |
-+ <choice default="true" >@GNATMAKE@</choice> |
93 |
- </specialized_index> |
94 |
- </project_attribute> |
95 |
- |
96 |
-@@ -166,7 +166,7 @@ |
97 |
- description="The gnatls command used to find where the Ada run time files are installed (including optional arguments, e.g. gnatls --RTS=sjlj)." |
98 |
- hide_in="all" |
99 |
- label="Gnatls"> |
100 |
-- <choice default="true" >gnatls</choice> |
101 |
-+ <choice default="true" >@GNATLS@</choice> |
102 |
- <string /> |
103 |
- </project_attribute> |
104 |
- |
105 |
-@@ -206,7 +206,7 @@ |
106 |
- description="The gnat driver used to run the various commands associated with the GNAT toolchain." |
107 |
- hide_in="all" |
108 |
- label="GNAT"> |
109 |
-- <choice default="true" >gnat</choice> |
110 |
-+ <choice default="true" >@GNAT@</choice> |
111 |
- <string /> |
112 |
- </project_attribute> |
113 |
- |
114 |
|
115 |
diff --git a/dev-ada/gps/gps-2019-r1.ebuild b/dev-ada/gps/gps-2019-r1.ebuild |
116 |
deleted file mode 100644 |
117 |
index 58c5f6bc13b..00000000000 |
118 |
--- a/dev-ada/gps/gps-2019-r1.ebuild |
119 |
+++ /dev/null |
120 |
@@ -1,114 +0,0 @@ |
121 |
-# Copyright 1999-2020 Gentoo Authors |
122 |
-# Distributed under the terms of the GNU General Public License v2 |
123 |
- |
124 |
-EAPI=7 |
125 |
-PYTHON_COMPAT=( python2_7 ) |
126 |
-ADA_COMPAT=( gnat_201{8,9} ) |
127 |
-inherit ada python-single-r1 autotools desktop llvm multilib |
128 |
- |
129 |
-MYP=${PN}-gpl-${PV}-src |
130 |
- |
131 |
-commitId="8606676b6b4fb245faad5e91127b15c2e61174e9" |
132 |
-alsId="286f2d6bb14ccd4583034b26fd923e1b80cf522c" |
133 |
- |
134 |
-DESCRIPTION="The GNAT Programming Studio" |
135 |
-HOMEPAGE="http://libre.adacore.com/tools/gps/" |
136 |
-SRC_URI="https://github.com/AdaCore/${PN}/archive/${commitId}.tar.gz |
137 |
- -> ${MYP}.tar.gz |
138 |
- http://mirrors.cdn.adacore.com/art/5cdf8f4e31e87a8f1d42509f |
139 |
- -> libadalang-tools-2019-20190517-195C4-src.tar.gz |
140 |
- https://github.com/AdaCore/ada_language_server/archive/${alsId}.tar.gz |
141 |
- -> ada_language_server-2019-src.tar.gz |
142 |
- http://mirrors.cdn.adacore.com/art/5b0819dfc7a447df26c27a61 -> |
143 |
- gtk+-3.14.15-src.tar.gz" |
144 |
- |
145 |
-LICENSE="GPL-3" |
146 |
-SLOT="0" |
147 |
-KEYWORDS="amd64 x86" |
148 |
-IUSE="" |
149 |
- |
150 |
-RDEPEND="${PYTHON_DEPS} |
151 |
- dev-ada/gnatcoll-db[${ADA_USEDEP},db2ada,gnatinspect,xref] |
152 |
- dev-ada/gnatcoll-bindings[${ADA_USEDEP},python] |
153 |
- ~dev-ada/gtkada-2019[${ADA_USEDEP}] |
154 |
- ~dev-ada/libadalang-2019[${ADA_USEDEP}] |
155 |
- dev-libs/gobject-introspection |
156 |
- dev-libs/libffi |
157 |
- sys-devel/llvm:8 |
158 |
- sys-devel/clang:= |
159 |
- x11-themes/adwaita-icon-theme |
160 |
- x11-themes/hicolor-icon-theme |
161 |
- dev-python/pygobject:3 |
162 |
- $(python_gen_cond_dep ' |
163 |
- dev-python/pep8[${PYTHON_MULTI_USEDEP}] |
164 |
- dev-python/jedi[${PYTHON_MULTI_USEDEP}] |
165 |
- ')" |
166 |
- |
167 |
-DEPEND="${RDEPEND}" |
168 |
- |
169 |
-REQUIRED_USE="${PYTHON_REQUIRED_USE} |
170 |
- ${ADA_REQUIRED_USE}" |
171 |
- |
172 |
-RESTRICT="test" |
173 |
- |
174 |
-S="${WORKDIR}"/${PN}-${commitId} |
175 |
- |
176 |
-PATCHES=( "${FILESDIR}"/${P}-gentoo.patch ) |
177 |
- |
178 |
-pkg_setup() { |
179 |
- LLVM_MAX_SLOT=8 |
180 |
- llvm_pkg_setup |
181 |
- python-single-r1_pkg_setup |
182 |
- ada_pkg_setup |
183 |
-} |
184 |
- |
185 |
-src_prepare() { |
186 |
- default |
187 |
- sed -i \ |
188 |
- -e "s:@GNATMAKE@:${GNATMAKE}:g" \ |
189 |
- -e "s:@GNAT@:${GNAT}:g" \ |
190 |
- -e "s:@GNATLS@:${GNATLS}:g" \ |
191 |
- share/support/core/toolchains.py \ |
192 |
- share/support/core/projects.py \ |
193 |
- || die |
194 |
- mv "${WORKDIR}"/libadalang-tools-2019-20190517-195C4-src laltools |
195 |
- mv "${WORKDIR}"/ada_language_server-${alsId} ada_language_server |
196 |
- echo "#!/bin/bash" > gps.sh |
197 |
- echo "export LD_LIBRARY_PATH=/usr/$(get_libdir)/gps" >> gps.sh |
198 |
- echo 'exec /usr/bin/gps_exe "$@"' >> gps.sh |
199 |
- cd ../gtk+-3.14.15-src |
200 |
- sed -i \ |
201 |
- -e "/^libadd/s:=.*$:= \\\:" \ |
202 |
- -e "/^deps/s:=.*$:= \\\:" \ |
203 |
- ../gtk+-3.14.15-src/gtk/Makefile.in |
204 |
-} |
205 |
- |
206 |
-src_configure() { |
207 |
- econf \ |
208 |
- --with-clang=$(llvm-config --libdir) |
209 |
- cd ../gtk+-3.14.15-src |
210 |
- econf --disable-cups |
211 |
-} |
212 |
- |
213 |
-src_compile() { |
214 |
- emake -C gps GPRBUILD_FLAGS="-v ${MAKEOPTS} \ |
215 |
- -XGPR_BUILD=relocatable" \ |
216 |
- Build=Production |
217 |
- gprbuild -v -p -Pcli/cli.gpr ${MAKEOPTS} -XLIBRARY_TYPE=relocatable \ |
218 |
- -XGPR_BUILD=relocatable -cargs:Ada ${ADAFLAGS} || die |
219 |
- cd ../gtk+-3.14.15-src |
220 |
- emake -C gtk/inspector |
221 |
- emake -C gtk gtk.gresource.xml gtkdbusgenerated.c gtkdbusgenerated.h |
222 |
- emake -C gtk libgtk-3.la |
223 |
-} |
224 |
- |
225 |
-src_install() { |
226 |
- default |
227 |
- make_desktop_entry "${PN}" "GPS" "${EPREFIX}/usr/share/gps/icons/hicolor/32x32/apps/gps_32.png" "Development;IDE;" |
228 |
- mv "${D}"/usr/bin/gps{,_exe} |
229 |
- newbin gps.sh gps |
230 |
- cd ../gtk+-3.14.15-src |
231 |
- emake -C gtk DESTDIR="${D}" install-libLTLIBRARIES |
232 |
- rm "${D}"/usr/$(get_libdir)/libgtk-3.{la,so,so.0} || die |
233 |
- dosym ../libgtk-3.so.0.1400.15 /usr/$(get_libdir)/gps/libgtk-3.so.0 |
234 |
-} |
235 |
|
236 |
diff --git a/dev-ada/gps/metadata.xml b/dev-ada/gps/metadata.xml |
237 |
deleted file mode 100644 |
238 |
index 2ee9605f785..00000000000 |
239 |
--- a/dev-ada/gps/metadata.xml |
240 |
+++ /dev/null |
241 |
@@ -1,12 +0,0 @@ |
242 |
-<?xml version="1.0" encoding="UTF-8"?> |
243 |
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> |
244 |
-<pkgmetadata> |
245 |
- <maintainer type="project"> |
246 |
- <email>ada@g.o</email> |
247 |
- </maintainer> |
248 |
- <longdescription lang="en"> |
249 |
- GPS is a lightweight, extensible IDE, intended to develop |
250 |
- high-integrity software in Ada and SPARK, with support for C and C++ |
251 |
- as well. |
252 |
- </longdescription> |
253 |
-</pkgmetadata> |
254 |
|
255 |
diff --git a/profiles/package.mask b/profiles/package.mask |
256 |
index 007a2a0f835..c87edc6eccf 100644 |
257 |
--- a/profiles/package.mask |
258 |
+++ b/profiles/package.mask |
259 |
@@ -349,7 +349,6 @@ dev-lang/spark |
260 |
dev-ada/langkit |
261 |
dev-ada/libadalang |
262 |
dev-ada/libadalang-tools |
263 |
-dev-ada/gps |
264 |
|
265 |
# Mart Raudsepp <leio@g.o> (2020-08-15) |
266 |
# Development release, needs testing to ensure valac-0.50 |
267 |
@@ -357,10 +356,6 @@ dev-ada/gps |
268 |
>=dev-libs/vala-common-0.49 |
269 |
dev-lang/vala:0.50 |
270 |
|
271 |
-# Michał Górny <mgorny@g.o> (2020-07-28) |
272 |
-# Masked for the time being due to dep on LLVM 8. Bug #720236. |
273 |
-<=dev-ada/gps-2019-r1 |
274 |
- |
275 |
# Sam James <sam@g.o> (2020-07-20) |
276 |
# Serious security vulnerabilities, including |
277 |
# remote code execution. Upstream have not yet |