diff options
Diffstat (limited to 'dev-ada/gps/gps-2018.ebuild')
| -rw-r--r-- | dev-ada/gps/gps-2018.ebuild | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/dev-ada/gps/gps-2018.ebuild b/dev-ada/gps/gps-2018.ebuild index e67c569534ff..5a97ccc8bd2e 100644 --- a/dev-ada/gps/gps-2018.ebuild +++ b/dev-ada/gps/gps-2018.ebuild @@ -66,10 +66,10 @@ src_configure() { } src_compile() { - emake -C gps GPRBUILD_FLAGS="-v ${MAKEOPTS}" \ + CC=/usr/bin/gcc-7.3.1 emake -C gps GPRBUILD_FLAGS="-v ${MAKEOPTS}" \ Build=Production - gprbuild -v -p -Pcli/cli.gpr -XLIBRARY_TYPE=relocatable - emake -C testsuite + gprbuild -v -p -Pcli/cli.gpr ${MAKEOPTS} -XLIBRARY_TYPE=relocatable \ + -cargs:Ada ${ADAFLAGS} } src_install() { |