Gentoo Archives: gentoo-commits

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