1 |
commit: 49904d5d8c787f1ad7e41a1895356d7410980978 |
2 |
Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org> |
3 |
AuthorDate: Wed Jan 2 18:25:03 2019 +0000 |
4 |
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> |
5 |
CommitDate: Wed Jan 2 18:25:03 2019 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=49904d5d |
7 |
|
8 |
dev-ada/gps: Stable |
9 |
|
10 |
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> |
11 |
Package-Manager: Portage-2.3.51, Repoman-2.3.11 |
12 |
|
13 |
dev-ada/gps/Manifest | 1 - |
14 |
dev-ada/gps/gps-2018-r1.ebuild | 2 +- |
15 |
dev-ada/gps/gps-2018.ebuild | 104 ----------------------------------------- |
16 |
3 files changed, 1 insertion(+), 106 deletions(-) |
17 |
|
18 |
diff --git a/dev-ada/gps/Manifest b/dev-ada/gps/Manifest |
19 |
index 0fa4e43122f..1b976f5d7a2 100644 |
20 |
--- a/dev-ada/gps/Manifest |
21 |
+++ b/dev-ada/gps/Manifest |
22 |
@@ -1,6 +1,5 @@ |
23 |
DIST gnat-gpl-2017-x86_64-linux-bin.tar.gz 496338280 BLAKE2B b3eee6d311fb9c20bc8fa7217c0731ca1e91ced38700df1d63d91a16c3fa28dfd44c7c8e867c3a857b88e4f0c8b2a7200fb6a8a630b8403538c4784f8914d1a5 SHA512 01a8f3be9b7b7e83cc5bd4a45137b1d35c6448bc22a88bcaf5d312cd63e11081b6b2fe9f09ad2a27d8f0b6471fc5c1a99573bf3bcee1589329054074eaeef04f |
24 |
DIST gps-gpl-2017-src.tar.gz 41216830 BLAKE2B 51ca89c38fa81888a9cf1831cf97f7e0ad72c444328a29063249a4fe72bbdc8357552d470872e9fbbeaf349ef0427b59fa41a0efb56200a07a9426343c731a57 SHA512 101ecef7f183de1da0c2b09d77f284a5e8c5ae56f34a897c8d471e79fe9a2832742608ff5251197ba2a52b5d9dfee6c6937fc22cd55f6d8f38359b070393cb64 |
25 |
DIST gps-gpl-2018-src.tar.gz 40541905 BLAKE2B abe38dd23d9afede27b4ec8294e3245c12d52d60491b6e7c1b2d120a6f1e5d808fdcfb648e72da31376e2de176f7a039c5493341ad295db33b6a1ce44bb64096 SHA512 da0eaa85eb753f215354c9765272d85378f36ebe207314bab9211642f9d9b505a3d05cdec9de6964ae9139c4f8942a29e06c72db32b2aeb053a694e9c982e470 |
26 |
-DIST gpsLib.tar.gz 11017404 BLAKE2B b84219322950d5c3a7b202e4b5e423fcb95c528d4e0810f25674e8cfd0e9ca91a155fff500e4d25959cdba42492794fba8cb725e6955bcea8908a8043a387ca1 SHA512 e852285c8b67e5787396dfaa95feaff31e73bd4cd3a731e20c6970c2ade3ef6290ef98d9a6b7553d4daf6f2ae722ca5ff74add3fd4285ce259a1443e6b06a5a1 |
27 |
DIST gtk+-3.14.15-src.tar.gz 32009863 BLAKE2B 93c6897c431fa8e1c19ea758378bc7e365d486d1decccefbba64876d8c51a488e6bcf932481daa11e7e43a960a328c3db746e41a845e574c6b6070ab71e23188 SHA512 add4607a1758319a938d2be0bbd0dd140c4099accffa9301e3049bc460bf94f395c5a092368214e8b28d53bc25335d1b8329b50c7eb80a1e9a65b2e154135b84 |
28 |
DIST libadalang-tools-gpl-2018-src.tar.gz 19938182 BLAKE2B 34104f3bc43c165a9b74ba8c0c03ee2f34686bcd06b5ced730f70f654d8b808e129a85566e081830b4f20304c793eefe0af81b56984cf06190302ad2f6a419be SHA512 a1176575944cd88b9da5f4e9f03caa1a4d09358df71e6a91300d0b35c2a843d0ea1a77fbd93e7b7f16cef1b978022ee20991f5c2ff74f7d05878c3de1220f2b5 |
29 |
|
30 |
diff --git a/dev-ada/gps/gps-2018-r1.ebuild b/dev-ada/gps/gps-2018-r1.ebuild |
31 |
index 6ca3b5d6eaf..b8cd9b2a758 100644 |
32 |
--- a/dev-ada/gps/gps-2018-r1.ebuild |
33 |
+++ b/dev-ada/gps/gps-2018-r1.ebuild |
34 |
@@ -18,7 +18,7 @@ SRC_URI="http://mirrors.cdn.adacore.com/art/5b0cf627c7a4475261f97ceb |
35 |
|
36 |
LICENSE="GPL-3" |
37 |
SLOT="0" |
38 |
-KEYWORDS="~amd64 ~x86" |
39 |
+KEYWORDS="amd64 x86" |
40 |
IUSE="gnat_2017 +gnat_2018" |
41 |
|
42 |
RDEPEND="${PYTHON_DEPS} |
43 |
|
44 |
diff --git a/dev-ada/gps/gps-2018.ebuild b/dev-ada/gps/gps-2018.ebuild |
45 |
deleted file mode 100644 |
46 |
index 290f5bf2721..00000000000 |
47 |
--- a/dev-ada/gps/gps-2018.ebuild |
48 |
+++ /dev/null |
49 |
@@ -1,104 +0,0 @@ |
50 |
-# Copyright 1999-2018 Gentoo Authors |
51 |
-# Distributed under the terms of the GNU General Public License v2 |
52 |
- |
53 |
-EAPI=6 |
54 |
-PYTHON_COMPAT=( python2_7 ) |
55 |
-inherit python-single-r1 autotools desktop llvm |
56 |
- |
57 |
-MYP=${PN}-gpl-${PV}-src |
58 |
- |
59 |
-DESCRIPTION="The GNAT Programming Studio" |
60 |
-HOMEPAGE="http://libre.adacore.com/tools/gps/" |
61 |
-SRC_URI="http://mirrors.cdn.adacore.com/art/5b0cf627c7a4475261f97ceb |
62 |
- -> ${MYP}.tar.gz |
63 |
- http://mirrors.cdn.adacore.com/art/5b0819dfc7a447df26c27a59 -> |
64 |
- libadalang-tools-gpl-2018-src.tar.gz |
65 |
- https://dev.gentoo.org/~tupone/distfiles/gpsLib.tar.gz" |
66 |
- |
67 |
-LICENSE="GPL-3" |
68 |
-SLOT="0" |
69 |
-KEYWORDS="amd64 x86" |
70 |
-IUSE="gnat_2017 +gnat_2018" |
71 |
- |
72 |
-RDEPEND="${PYTHON_DEPS} |
73 |
- dev-ada/gnatcoll-db[gnat_2017=,gnat_2018=,gnatcoll_db2ada,gnatinspect,xref] |
74 |
- dev-ada/gnatcoll-bindings[gnat_2017=,gnat_2018=,python] |
75 |
- ~dev-ada/gtkada-2018[gnat_2017=,gnat_2017=] |
76 |
- dev-ada/libadalang[gnat_2017=,gnat_2018=] |
77 |
- dev-libs/gobject-introspection |
78 |
- dev-libs/libffi |
79 |
- gnat_2017? ( sys-devel/llvm:5 ) |
80 |
- gnat_2018? ( |
81 |
- || ( |
82 |
- sys-devel/llvm:6 |
83 |
- sys-devel/llvm:7 |
84 |
- ) |
85 |
- ) |
86 |
- sys-devel/clang:= |
87 |
- x11-themes/adwaita-icon-theme |
88 |
- x11-themes/hicolor-icon-theme |
89 |
- dev-python/pep8[${PYTHON_USEDEP}] |
90 |
- dev-python/jedi[${PYTHON_USEDEP}]" |
91 |
- |
92 |
-DEPEND="${RDEPEND}" |
93 |
- |
94 |
-RESTRICT="test" |
95 |
- |
96 |
-S="${WORKDIR}"/${MYP} |
97 |
- |
98 |
-PATCHES=( "${FILESDIR}"/${P}-gentoo.patch ) |
99 |
- |
100 |
-pkg_setup() { |
101 |
- if use gnat_2017; then |
102 |
- GCC_PV=6.3.0 |
103 |
- LLVM_MAX_SLOT=5 |
104 |
- else |
105 |
- GCC_PV=7.3.1 |
106 |
- LLVM_MAX_SLOT=7 |
107 |
- fi |
108 |
- GNATMAKE=gnatmake-${GCC_PV} |
109 |
- GNATDRV=gnat-${GCC_PV} |
110 |
- GNATLS=gnatls-${GCC_PV} |
111 |
- llvm_pkg_setup |
112 |
- python-single-r1_pkg_setup |
113 |
-} |
114 |
- |
115 |
-src_prepare() { |
116 |
- GCC_PV=7.3.1 |
117 |
- default |
118 |
- sed -i \ |
119 |
- -e "s:@GNATMAKE@:${CHOST}-${GNATMAKE}:g" \ |
120 |
- -e "s:@GNAT@:${CHOST}-${GNATDRV}:g" \ |
121 |
- -e "s:@GNATLS@:${CHOST}-${GNATLS}:g" \ |
122 |
- share/support/core/toolchains.py \ |
123 |
- share/support/core/projects.py \ |
124 |
- || die |
125 |
- mv "${WORKDIR}"/libadalang-tools-src laltools |
126 |
- echo "#!/bin/bash" > gps.sh |
127 |
- echo "export LD_LIBRARY_PATH=/opt/lib/gps" >> gps.sh |
128 |
- echo 'exec /usr/bin/gps_exe "$@"' >> gps.sh |
129 |
-} |
130 |
- |
131 |
-src_configure() { |
132 |
- econf \ |
133 |
- GNATMAKE=/usr/bin/${GNATMAKE} \ |
134 |
- GNATDRV=/usr/bin/${GNATDRV} \ |
135 |
- --with-clang=$(llvm-config --libdir) |
136 |
-} |
137 |
- |
138 |
-src_compile() { |
139 |
- emake -C gps GPRBUILD_FLAGS="-v ${MAKEOPTS} \ |
140 |
- -XGPR_BUILD=relocatable" \ |
141 |
- Build=Production |
142 |
- gprbuild -v -p -Pcli/cli.gpr ${MAKEOPTS} -XLIBRARY_TYPE=relocatable \ |
143 |
- -XGPR_BUILD=relocatable -cargs:Ada ${ADAFLAGS} || die |
144 |
-} |
145 |
- |
146 |
-src_install() { |
147 |
- default |
148 |
- make_desktop_entry "${PN}" "GPS" "${EPREFIX}/usr/share/gps/icons/hicolor/32x32/apps/gps_32.png" "Development;IDE;" |
149 |
- insinto /opt/lib |
150 |
- doins -r ../lib/gps |
151 |
- mv "${D}"/usr/bin/gps{,_exe} |
152 |
- newbin gps.sh gps |
153 |
-} |