[gentoo-commits] repo/gentoo:master commit in: dev-ada/gps/

[Alfredo Tupone]

commit:     8d83d74faba7c97b6a9851bb5e2b6766d6b571cf
Author:     Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Sat Nov 17 21:59:12 2018 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sat Nov 17 21:59:12 2018 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8d83d74f

dev-ada/gps: It works for gnat_2016 now

Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
Package-Manager: Portage-2.3.51, Repoman-2.3.11

 dev-ada/gps/gps-2017.ebuild | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/dev-ada/gps/gps-2017.ebuild b/dev-ada/gps/gps-2017.ebuild
index 6aa621b988c..ebfb812fbce 100644
--- 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" \