mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-01-06 02:17:34 -08:00
dev-lang/spark: use ADAFLAGS for build
Closes: https://bugs.gentoo.org/836784 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
This commit is contained in:
parent
208e1cc7e2
commit
be578a6b00
@ -58,9 +58,10 @@ src_prepare() {
|
|||||||
}
|
}
|
||||||
|
|
||||||
src_compile() {
|
src_compile() {
|
||||||
emake -j1 -C gnat2why \
|
emake -C gnat2why setup
|
||||||
GPRARGS="-XLIBRARY_TYPE=relocatable -XBuild=Production -v" \
|
gprbuild -j$(makeopts_jobs) -p -XLIBRARY_TYPE=relocatable -v \
|
||||||
PROCS=$(makeopts_jobs)
|
-Pgnat2why/gnat2why.gpr \
|
||||||
|
-largs ${LDFLAGS} -cargs ${ADAFLAGS} || die
|
||||||
gprbuild -j$(makeopts_jobs) -p -XLIBRARY_TYPE=relocatable -v \
|
gprbuild -j$(makeopts_jobs) -p -XLIBRARY_TYPE=relocatable -v \
|
||||||
-P gnatprove.gpr \
|
-P gnatprove.gpr \
|
||||||
-largs ${LDFLAGS} -cargs ${ADAFLAGS} || die
|
-largs ${LDFLAGS} -cargs ${ADAFLAGS} || die
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user