Gentoo Archives: gentoo-commits

From: Alfredo Tupone <tupone@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ada/gps/
Date: Sat, 17 Nov 2018 21:59:28
Message-Id: 1542491952.8d83d74faba7c97b6a9851bb5e2b6766d6b571cf.tupone@gentoo
1 commit: 8d83d74faba7c97b6a9851bb5e2b6766d6b571cf
2 Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org>
3 AuthorDate: Sat Nov 17 21:59:12 2018 +0000
4 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
5 CommitDate: Sat Nov 17 21:59:12 2018 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8d83d74f
7
8 dev-ada/gps: It works for gnat_2016 now
9
10 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
11 Package-Manager: Portage-2.3.51, Repoman-2.3.11
12
13 dev-ada/gps/gps-2017.ebuild | 8 ++++++--
14 1 file changed, 6 insertions(+), 2 deletions(-)
15
16 diff --git a/dev-ada/gps/gps-2017.ebuild b/dev-ada/gps/gps-2017.ebuild
17 index 6aa621b988c..ebfb812fbce 100644
18 --- a/dev-ada/gps/gps-2017.ebuild
19 +++ b/dev-ada/gps/gps-2017.ebuild
20 @@ -34,7 +34,7 @@ RDEPEND="${PYTHON_DEPS}
21 DEPEND="${RDEPEND}"
22
23 REQUIRED_USE="${PYTHON_REQUIRED_USE}
24 - !gnat_2016 gnat_2017 !gnat_2018"
25 + ^^ ( gnat_2016 gnat_2017 ) !gnat_2018"
26
27 RESTRICT="test"
28
29 @@ -44,7 +44,11 @@ PATCHES=( "${FILESDIR}"/${P}-gentoo.patch )
30
31 src_prepare() {
32 default
33 - GCC_PV=6.3.0
34 + if use gnat_2016; then
35 + GCC_PV=4.9.4
36 + else
37 + GCC_PV=6.3.0
38 + fi
39 mv configure.{in,ac} || die
40 sed -i \
41 -e "s:@GNATMAKE@:${CHOST}-gnatmake-${GCC_PV}:g" \