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" \ |