Merge branch 'topic/hack_gpr2' into 'master'

Add `-O0` for `gpr2-build-actions-post_bind.adb` See merge request eng/ide/ada_language_server!1662
AdaCore · Aug 21, 2024 · 5100ea1 · 5100ea1
2 parents f5b8461 + 360f73c
commit 5100ea1
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"]