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: dev-ada/gps/files/, profiles/, dev-ada/gps/
Date: Sun, 31 Jan 2021 00:07:53
Message-Id: 1612051590.bcde67cec78708eaa3ef9726fe0f54546bbe1fcd.mgorny@gentoo
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