diff options
| author |   Tupone Alfredo <tupone@gentoo.org> | 2018-12-28 15:35:02 +0100 |
|---|---|---|
| committer | Tupone Alfredo <tupone@gentoo.org> | 2018-12-28 15:35:02 +0100 |
| commit | c5ce3e4bf5c2947cfe511a0ebc31ad11a482c151 (patch) | |
| tree | 7a5218e472d710f91d2d71ed85ab6a14cb233d2d /dev-ada | |
| parent | dev-ruby/sigdump: add ruby26 (diff) | |
| download | gentoo-c5ce3e4bf5c2947cfe511a0ebc31ad11a482c151.tar.gz gentoo-c5ce3e4bf5c2947cfe511a0ebc31ad11a482c151.tar.bz2 gentoo-c5ce3e4bf5c2947cfe511a0ebc31ad11a482c151.zip | |
dev-ada/gps: Install a compatible gtk+ library
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Package-Manager: Portage-2.3.51, Repoman-2.3.11
Diffstat (limited to 'dev-ada')
| -rw-r--r-- | dev-ada/gps/Manifest | 1 | ||||
| -rw-r--r-- | dev-ada/gps/gps-2018.ebuild | 10 |
2 files changed, 10 insertions, 1 deletions
diff --git a/dev-ada/gps/Manifest b/dev-ada/gps/Manifest index 9a4e8fd5f193..3399dc09f933 100644 --- a/dev-ada/gps/Manifest +++ b/dev-ada/gps/Manifest @@ -1,4 +1,5 @@ DIST gnat-gpl-2017-x86_64-linux-bin.tar.gz 496338280 BLAKE2B b3eee6d311fb9c20bc8fa7217c0731ca1e91ced38700df1d63d91a16c3fa28dfd44c7c8e867c3a857b88e4f0c8b2a7200fb6a8a630b8403538c4784f8914d1a5 SHA512 01a8f3be9b7b7e83cc5bd4a45137b1d35c6448bc22a88bcaf5d312cd63e11081b6b2fe9f09ad2a27d8f0b6471fc5c1a99573bf3bcee1589329054074eaeef04f DIST gps-gpl-2017-src.tar.gz 41216830 BLAKE2B 51ca89c38fa81888a9cf1831cf97f7e0ad72c444328a29063249a4fe72bbdc8357552d470872e9fbbeaf349ef0427b59fa41a0efb56200a07a9426343c731a57 SHA512 101ecef7f183de1da0c2b09d77f284a5e8c5ae56f34a897c8d471e79fe9a2832742608ff5251197ba2a52b5d9dfee6c6937fc22cd55f6d8f38359b070393cb64 DIST gps-gpl-2018-src.tar.gz 40541905 BLAKE2B abe38dd23d9afede27b4ec8294e3245c12d52d60491b6e7c1b2d120a6f1e5d808fdcfb648e72da31376e2de176f7a039c5493341ad295db33b6a1ce44bb64096 SHA512 da0eaa85eb753f215354c9765272d85378f36ebe207314bab9211642f9d9b505a3d05cdec9de6964ae9139c4f8942a29e06c72db32b2aeb053a694e9c982e470 +DIST gpsLib.tar.gz 11017404 BLAKE2B b84219322950d5c3a7b202e4b5e423fcb95c528d4e0810f25674e8cfd0e9ca91a155fff500e4d25959cdba42492794fba8cb725e6955bcea8908a8043a387ca1 SHA512 e852285c8b67e5787396dfaa95feaff31e73bd4cd3a731e20c6970c2ade3ef6290ef98d9a6b7553d4daf6f2ae722ca5ff74add3fd4285ce259a1443e6b06a5a1 DIST libadalang-tools-gpl-2018-src.tar.gz 19938182 BLAKE2B 34104f3bc43c165a9b74ba8c0c03ee2f34686bcd06b5ced730f70f654d8b808e129a85566e081830b4f20304c793eefe0af81b56984cf06190302ad2f6a419be SHA512 a1176575944cd88b9da5f4e9f03caa1a4d09358df71e6a91300d0b35c2a843d0ea1a77fbd93e7b7f16cef1b978022ee20991f5c2ff74f7d05878c3de1220f2b5 diff --git a/dev-ada/gps/gps-2018.ebuild b/dev-ada/gps/gps-2018.ebuild index 15d8e2fb9fa8..290f5bf27219 100644 --- a/dev-ada/gps/gps-2018.ebuild +++ b/dev-ada/gps/gps-2018.ebuild @@ -12,7 +12,8 @@ HOMEPAGE="http://libre.adacore.com/tools/gps/" SRC_URI="http://mirrors.cdn.adacore.com/art/5b0cf627c7a4475261f97ceb -> ${MYP}.tar.gz http://mirrors.cdn.adacore.com/art/5b0819dfc7a447df26c27a59 -> - libadalang-tools-gpl-2018-src.tar.gz" + libadalang-tools-gpl-2018-src.tar.gz + https://dev.gentoo.org/~tupone/distfiles/gpsLib.tar.gz" LICENSE="GPL-3" SLOT="0" @@ -73,6 +74,9 @@ src_prepare() { share/support/core/projects.py \ || die mv "${WORKDIR}"/libadalang-tools-src laltools + echo "#!/bin/bash" > gps.sh + echo "export LD_LIBRARY_PATH=/opt/lib/gps" >> gps.sh + echo 'exec /usr/bin/gps_exe "$@"' >> gps.sh } src_configure() { @@ -93,4 +97,8 @@ src_compile() { src_install() { default make_desktop_entry "${PN}" "GPS" "${EPREFIX}/usr/share/gps/icons/hicolor/32x32/apps/gps_32.png" "Development;IDE;" + insinto /opt/lib + doins -r ../lib/gps + mv "${D}"/usr/bin/gps{,_exe} + newbin gps.sh gps } |