mirror of
https://anongit.gentoo.org/git/repo/gentoo.git
synced 2025-07-24 16:08:58 +02:00
21 lines
653 B
Diff
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) ../
|
|
|