diff options
author | Tupone Alfredo <tupone@gentoo.org> | 2018-11-10 17:23:53 +0100 |
---|---|---|
committer | Tupone Alfredo <tupone@gentoo.org> | 2018-11-10 17:23:53 +0100 |
commit | 9cf4fbba125f846739b5710c7d5e338e05f5db73 (patch) | |
tree | bfcbbafd036b4736355b809a468aa9f830954e8b /dev-ada/gnatmem/gnatmem-2018.ebuild | |
parent | sys-libs/timezone-data: restore *-fbsd keywords (diff) | |
download | gentoo-9cf4fbba125f846739b5710c7d5e338e05f5db73.tar.gz gentoo-9cf4fbba125f846739b5710c7d5e338e05f5db73.tar.bz2 gentoo-9cf4fbba125f846739b5710c7d5e338e05f5db73.zip |
dev-ada/gnatmem: stabilize and remove old
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Package-Manager: Portage-2.3.51, Repoman-2.3.11
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} } |