dev-ada/gps: Only for gnat 2017
authorTupone Alfredo <tupone@gentoo.org>
Sat, 17 Nov 2018 13:34:41 +0000 (14:34 +0100)
committerTupone Alfredo <tupone@gentoo.org>
Sat, 17 Nov 2018 13:34:41 +0000 (14:34 +0100)
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Package-Manager: Portage-2.3.51, Repoman-2.3.11

dev-ada/gps/gps-2017.ebuild
dev-ada/gps/metadata.xml

index 6156e0dde66c66623b5b5c251040613d966a7360..6aa621b988c5194cb640dd590b4094265bfd568a 100644 (file)
@@ -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}
index eb9ac43cfff34898c491f863dc0af15f5df4f031..0657e56673cc924ccc5441df393ea46221266632 100644 (file)
@@ -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++