diff options
Diffstat (limited to 'dev-ada/gnatmem/gnatmem-2018.ebuild')
-rw-r--r-- | dev-ada/gnatmem/gnatmem-2018.ebuild | 13 |
1 files changed, 3 insertions, 10 deletions
diff --git a/dev-ada/gnatmem/gnatmem-2018.ebuild b/dev-ada/gnatmem/gnatmem-2018.ebuild index 5c78d05a3175..e49fc2ffe959 100644 --- a/dev-ada/gnatmem/gnatmem-2018.ebuild +++ b/dev-ada/gnatmem/gnatmem-2018.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2018 Gentoo Foundation +# Copyright 1999-2018 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=6 @@ -24,7 +24,7 @@ REQUIRED_USE="^^ ( gnat_2016 gnat_2017 gnat_2018 )" S="${WORKDIR}"/${MYP} -PATCHES=( "${FILESDIR}"/${PN}-2016-gentoo.patch ) +PATCHES=( "${FILESDIR}"/${P}-gentoo.patch ) src_prepare() { default @@ -33,14 +33,7 @@ src_prepare() { } src_compile() { - if use gnat_2016; then - GCC_PV=4.9.0 - elif use gnat_2017; then - GCC_PV=6.3.0 - else - GCC_PV=7.3.1 - fi - gprbuild -v -Pgnatmem.gpr -j$(makeopts_jobs) -XCC=gcc-${GCC_PV} \ + gprbuild -v -Pgnatmem.gpr -j$(makeopts_jobs) \ -cargs:C ${CFLAGS} -cargs:Ada ${ADAFLAGS} } |