projects
/
gentoo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
7810d0e
)
dev-ada/gps: It works for gnat_2016 now
author
Tupone Alfredo
<tupone@gentoo.org>
Sat, 17 Nov 2018 21:59:12 +0000
(22:59 +0100)
committer
Tupone Alfredo
<tupone@gentoo.org>
Sat, 17 Nov 2018 21:59:12 +0000
(22:59 +0100)
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Package-Manager: Portage-2.3.51, Repoman-2.3.11
dev-ada/gps/gps-2017.ebuild
patch
|
blob
|
history
diff --git
a/dev-ada/gps/gps-2017.ebuild
b/dev-ada/gps/gps-2017.ebuild
index 6aa621b988c5194cb640dd590b4094265bfd568a..ebfb812fbce5eeb8ef540a2b55e329bcc925ca42 100644
(file)
--- a/
dev-ada/gps/gps-2017.ebuild
+++ b/
dev-ada/gps/gps-2017.ebuild
@@
-34,7
+34,7
@@
RDEPEND="${PYTHON_DEPS}
DEPEND="${RDEPEND}"
REQUIRED_USE="${PYTHON_REQUIRED_USE}
-
!gnat_2016 gnat_2017
!gnat_2018"
+
^^ ( gnat_2016 gnat_2017 )
!gnat_2018"
RESTRICT="test"
@@
-44,7
+44,11
@@
PATCHES=( "${FILESDIR}"/${P}-gentoo.patch )
src_prepare() {
default
- GCC_PV=6.3.0
+ if use gnat_2016; then
+ GCC_PV=4.9.4
+ else
+ GCC_PV=6.3.0
+ fi
mv configure.{in,ac} || die
sed -i \
-e "s:@GNATMAKE@:${CHOST}-gnatmake-${GCC_PV}:g" \