gentoo-ebuilds/dev-lang/spark/files/spark-2024.01.11-gentoo.patch
Alfredo Tupone 3010edcdaa
dev-lang/spark: add 2024.01.11
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2025-02-11 18:28:04 +01:00

21 lines
653 B
Diff

--- a/gnat2why/gnat2why_c.gpr 2017-10-04 21:41:41.613376056 +0200
+++ b/gnat2why/gnat2why_c.gpr 2017-10-04 21:42:30.582572536 +0200
@@ -1,4 +1,7 @@
project Gnat2Why_C is
for Languages use ("C");
for Object_Dir use "obj";
+ package Compiler is
+ for Driver ("C") use External ("CC", "gcc");
+ end Compiler;
end Gnat2Why_C;
--- a/src/why/xgen/Makefile 2025-02-09 13:48:38.217846207 +0100
+++ b/src/why/xgen/Makefile 2025-02-09 13:49:36.594134360 +0100
@@ -31,7 +31,7 @@
why-atree-to_json.adb
all:
- gprbuild -j0 -p -Phelpers xtree
+ gprbuild -v -p -Phelpers xtree -XLIBRARY_TYPE=relocatable
./xtree
cp $(GENERATED_FILES) ../