commit: edb48c7e8a9d29b3a11a6685e6a92ceeab38270c Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org> AuthorDate: Sat Nov 17 13:34:41 2018 +0000 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> CommitDate: Sat Nov 17 13:34:41 2018 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=edb48c7e
dev-ada/gps: Only for gnat 2017 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11 dev-ada/gps/gps-2017.ebuild | 7 +++++-- 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 6156e0dde66..6aa621b988c 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 eb9ac43cfff..0657e56673c 100644 --- a/dev-ada/gps/metadata.xml +++ b/dev-ada/gps/metadata.xml @@ -5,6 +5,11 @@ <email>tup...@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++
