diff options
| author | Tupone Alfredo <tupone@gentoo.org> | 2018-11-17 22:59:12 +0100 |
|---|---|---|
| committer | Tupone Alfredo <tupone@gentoo.org> | 2018-11-17 22:59:12 +0100 |
| commit | 8d83d74faba7c97b6a9851bb5e2b6766d6b571cf (patch) | |
| tree | bed024fa91db85febba15c767b8cd047e5cc3f53 /dev-ada | |
| parent | 7810d0e0b09cd5376d8a2abb06ad7afdbebb5346 (diff) | |
| download | gentoo-8d83d74faba7c97b6a9851bb5e2b6766d6b571cf.tar.gz gentoo-8d83d74faba7c97b6a9851bb5e2b6766d6b571cf.tar.xz | |
dev-ada/gps: It works for gnat_2016 now
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Package-Manager: Portage-2.3.51, Repoman-2.3.11
Diffstat (limited to 'dev-ada')
| -rw-r--r-- | dev-ada/gps/gps-2017.ebuild | 8 |
1 files 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" \ |