diff --git a/dev-lang/spark/spark-2024.01.11-r2.ebuild b/dev-lang/spark/spark-2024.01.11-r2.ebuild index d6bbf2565eef..d8d9c9b918d2 100644 --- a/dev-lang/spark/spark-2024.01.11-r2.ebuild +++ b/dev-lang/spark/spark-2024.01.11-r2.ebuild @@ -58,9 +58,10 @@ src_prepare() { } src_compile() { - emake -j1 -C gnat2why \ - GPRARGS="-XLIBRARY_TYPE=relocatable -XBuild=Production -v" \ - PROCS=$(makeopts_jobs) + emake -C gnat2why setup + gprbuild -j$(makeopts_jobs) -p -XLIBRARY_TYPE=relocatable -v \ + -Pgnat2why/gnat2why.gpr \ + -largs ${LDFLAGS} -cargs ${ADAFLAGS} || die gprbuild -j$(makeopts_jobs) -p -XLIBRARY_TYPE=relocatable -v \ -P gnatprove.gpr \ -largs ${LDFLAGS} -cargs ${ADAFLAGS} || die