From edb48c7e8a9d29b3a11a6685e6a92ceeab38270c Mon Sep 17 00:00:00 2001 From: Tupone Alfredo Date: Sat, 17 Nov 2018 14:34:41 +0100 Subject: [PATCH] dev-ada/gps: Only for gnat 2017 Signed-off-by: Alfredo Tupone 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 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 @@ tupone@gentoo.org Tupone Alfredo + + Compile with dev-lang/gnat-gpl-2016 + Compile with dev-lang/gnat-gpl-2017 + Compile with dev-lang/gnat-gpl-2018 + GPS is a lightweight, extensible IDE, intended to develop high-integrity software in Ada and SPARK, with support for C and C++ -- 2.26.2