From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id F05CC138334 for ; Sat, 17 Nov 2018 13:35:00 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id B8788E08DD; Sat, 17 Nov 2018 13:34:58 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 929BBE08DD for ; Sat, 17 Nov 2018 13:34:58 +0000 (UTC) Received: from oystercatcher.gentoo.org (unknown [IPv6:2a01:4f8:202:4333:225:90ff:fed9:fc84]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 07A99335C38 for ; Sat, 17 Nov 2018 13:34:55 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 09FB0455 for ; Sat, 17 Nov 2018 13:34:53 +0000 (UTC) From: "Alfredo Tupone" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Alfredo Tupone" Message-ID: <1542461681.edb48c7e8a9d29b3a11a6685e6a92ceeab38270c.tupone@gentoo> Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ada/gps/ X-VCS-Repository: repo/gentoo X-VCS-Files: dev-ada/gps/gps-2017.ebuild dev-ada/gps/metadata.xml X-VCS-Directories: dev-ada/gps/ X-VCS-Committer: tupone X-VCS-Committer-Name: Alfredo Tupone X-VCS-Revision: edb48c7e8a9d29b3a11a6685e6a92ceeab38270c X-VCS-Branch: master Date: Sat, 17 Nov 2018 13:34:53 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Archives-Salt: 8799bada-bc3b-4a19-a205-d79f7dbb69f4 X-Archives-Hash: a07817871fdb6746f3f1cca1f80fcc93 commit: edb48c7e8a9d29b3a11a6685e6a92ceeab38270c Author: Tupone Alfredo gentoo org> AuthorDate: Sat Nov 17 13:34:41 2018 +0000 Commit: Alfredo Tupone gentoo 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 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 @@ 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++