diff options
Diffstat (limited to 'dev-ada/gnatmem')
| -rw-r--r-- | dev-ada/gnatmem/gnatmem-2018.ebuild | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/dev-ada/gnatmem/gnatmem-2018.ebuild b/dev-ada/gnatmem/gnatmem-2018.ebuild index 74e1cea6ebff..5c78d05a3175 100644 --- a/dev-ada/gnatmem/gnatmem-2018.ebuild +++ b/dev-ada/gnatmem/gnatmem-2018.ebuild @@ -33,7 +33,14 @@ src_prepare() { } src_compile() { - gprbuild -v -Pgnatmem.gpr -j$(makeopts_jobs) \ + 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} \ -cargs:C ${CFLAGS} -cargs:Ada ${ADAFLAGS} } |