diff options
Diffstat (limited to 'dev-ada')
| -rw-r--r-- | dev-ada/gps/gps-2017.ebuild | 7 | ||||
| -rw-r--r-- | dev-ada/gps/metadata.xml | 5 |
2 files changed, 10 insertions, 2 deletions
diff --git a/dev-ada/gps/gps-2017.ebuild b/dev-ada/gps/gps-2017.ebuild index 6156e0dde66c..6aa621b988c5 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} 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++ |