Merge remote branch 'origin/master' into edge

AdaCore · Aug 23, 2024 · a0ac8d1 · a0ac8d1
2 parents fb0360a + 5100ea1
commit a0ac8d1
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/subprojects/libgpr2.toml b/subprojects/libgpr2.toml
@@ -25,6 +25,15 @@ command = ["bash", "-c", "-x", "[ -d gprconfig_kb ] || git clone https://github.
 type = "post-fetch"
 command = ["sed", "-i.bak", "-E", "-e", "s/\\b(X?)BUILD\\b/\\1GPR2_BUILD/g", "Makefile", "gpr2.gpr", "bindings/c/gpr2-c.gpr"]
 
+[[actions]]
+type = "post-fetch"
+command = [
+  "sed",
+  "-i.bk2",
+  "-e", '''
+  /package Compiler/a for Switches ("gpr2-build-actions-post_bind.adb") use Compiler'Default_Switches ("Ada") & ("-O0");''',
+  "gpr2.gpr"]
+
 [[actions]]
 type = "pre-build"
 command = ["bash", "-c", "-x", "make setup build-lib-${LIBRARY_TYPE:-static} GPR2KBDIR=./gprconfig_kb/db"]