diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2018-11-18 09:38:27 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2018-11-18 09:38:27 +0000 |
| commit | 536c3711867ec947c1738f2c4b96f22e4863322d (patch) | |
| tree | 697733f5cb713908dcf378e13fd15a798a906a91 /dev-ada/gps | |
| parent | f65628136faa35d0c4d3b5e7332275c7b35fcd96 (diff) | |
gentoo resync : 18.11.2018
Diffstat (limited to 'dev-ada/gps')
| -rw-r--r-- | dev-ada/gps/Manifest | 4 | ||||
| -rw-r--r-- | dev-ada/gps/gps-2017.ebuild | 13 | ||||
| -rw-r--r-- | dev-ada/gps/metadata.xml | 5 |
3 files changed, 17 insertions, 5 deletions
diff --git a/dev-ada/gps/Manifest b/dev-ada/gps/Manifest index 80a7887e72e4..5588fed25962 100644 --- a/dev-ada/gps/Manifest +++ b/dev-ada/gps/Manifest @@ -4,6 +4,6 @@ DIST gnat-gpl-2017-x86_64-linux-bin.tar.gz 496338280 BLAKE2B b3eee6d311fb9c20bc8 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 libadalang-tools-gpl-2018-src.tar.gz 19938182 BLAKE2B 34104f3bc43c165a9b74ba8c0c03ee2f34686bcd06b5ced730f70f654d8b808e129a85566e081830b4f20304c793eefe0af81b56984cf06190302ad2f6a419be SHA512 a1176575944cd88b9da5f4e9f03caa1a4d09358df71e6a91300d0b35c2a843d0ea1a77fbd93e7b7f16cef1b978022ee20991f5c2ff74f7d05878c3de1220f2b5 -EBUILD gps-2017.ebuild 1946 BLAKE2B 8f1619962738e8d1fe5a60baa3b63bc0318441b95234c0a667d12ad88040a62635b8b46ec94f3598e583dd33a3d88b2bb1f3dcbb191a1c3007eb9efc007144b8 SHA512 67c410fb567b5b82fce282803f5b6292b0b8b221a4f554eab11dd097229e88d614716ee212bf83695721e254892666b1231073d8616da3f2584f3e187fecfc5d +EBUILD gps-2017.ebuild 2102 BLAKE2B 6cbd6490b0e1cc1399ae54921abe97a54f28582f40af3485e6cc90535e7be4513cc4bc79dc84e11c477deecf964b1f0553b374cb3fd44bce5c6bd288bb44fef6 SHA512 3237b0abd2ee89851eb2e5232833e7536e501d3e5942329fe0d5c538ca6dd070e865e04b8a16acf237573851acb23d710f2c48ddc4488064f922691c2ca38ce5 EBUILD gps-2018.ebuild 1837 BLAKE2B 5794a97f5e88cf770bbe035450c9ed5cefdc3a40e183bbaf25ee4c17e9fe4eb758f5454ffa1b5c031ffb25feee1d724a12d1a01e0619d2066883ac8921d63e5a SHA512 b428f2b394f3b1a91884a8a27d6b786120c3b7805e6d9b377a2c8dcf61a02a5c82fb4a630087c6957975af6d57b3ce85badef159ab221b02fd63ef3443f18f7f -MISC metadata.xml 438 BLAKE2B 105849097d35788d4178db05bd3c9ab5b17eb94bee320d0dfc2914889a3764824f53950f674a4d1488b649a344729e03bb8eacda9896636a632b1288a0abf07c SHA512 2bf4e76aab6f461c501b34fee6fbf719715af34e2af827daee3a145de31b96b5568009a21daaa4269a19386b0be45dd419710e926505bda7763312c809864aae +MISC metadata.xml 657 BLAKE2B c97ff9ab3140c87cb2066f25c639c3a5053c0775abfe23937b92f912ff71299bf136de797de6fd1010d576ba44f4e1b1f6e7dae4d1e076682382b33482240606 SHA512 498222549bd8c7e48575bdc0250cc810540928b19819759ba8a4f9b3aea39ad1b7b579b988a26b1bcf109774b356c7635e11e5e42a41dc76af8d9230a63f9d91 diff --git a/dev-ada/gps/gps-2017.ebuild b/dev-ada/gps/gps-2017.ebuild index 6156e0dde66c..ebfb812fbce5 100644 --- a/dev-ada/gps/gps-2017.ebuild +++ b/dev-ada/gps/gps-2017.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2018 Gentoo Foundation +# Copyright 1999-2018 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=6 @@ -17,7 +17,7 @@ SRC_URI="http://mirrors.cdn.adacore.com/art/591c45e2c7a447af2deed03b LICENSE="GPL-3" SLOT="0" KEYWORDS="~amd64 ~x86" -IUSE="doc" +IUSE="doc gnat_2016 +gnat_2017 gnat_2018" RDEPEND="${PYTHON_DEPS} >=dev-ada/gnatcoll-2017[gtk,iconv,pygobject,sqlite,static-libs,tools] @@ -33,6 +33,9 @@ RDEPEND="${PYTHON_DEPS} DEPEND="${RDEPEND}" +REQUIRED_USE="${PYTHON_REQUIRED_USE} + ^^ ( gnat_2016 gnat_2017 ) !gnat_2018" + RESTRICT="test" S="${WORKDIR}"/${MYP} @@ -41,7 +44,11 @@ PATCHES=( "${FILESDIR}"/${P}-gentoo.patch ) src_prepare() { default - GCC_PV=6.3.0 + if use gnat_2016; then + GCC_PV=4.9.4 + else + GCC_PV=6.3.0 + fi mv configure.{in,ac} || die sed -i \ -e "s:@GNATMAKE@:${CHOST}-gnatmake-${GCC_PV}:g" \ diff --git a/dev-ada/gps/metadata.xml b/dev-ada/gps/metadata.xml index eb9ac43cfff3..0657e56673cc 100644 --- a/dev-ada/gps/metadata.xml +++ b/dev-ada/gps/metadata.xml @@ -5,6 +5,11 @@ <email>tupone@gentoo.org</email> <name>Tupone Alfredo</name> </maintainer> + <use> + <flag name="gnat_2016">Compile with dev-lang/gnat-gpl-2016</flag> + <flag name="gnat_2017">Compile with dev-lang/gnat-gpl-2017</flag> + <flag name="gnat_2018">Compile with dev-lang/gnat-gpl-2018</flag> + </use> <longdescription lang="en"> GPS is a lightweight, extensible IDE, intended to develop high-integrity software in Ada and SPARK, with support for C and C++ |