summarylogtreecommitdiffstats
path: root/gnat2020.patch
diff options
context:
space:
mode:
authorPierre-Marie de Rodat2021-01-24 16:27:38 +0100
committerPierre-Marie de Rodat2021-01-24 16:32:43 +0100
commit3d412a6d16a1b454f69915a9e8a883110f7c6a68 (patch)
tree6de0d5d09373533f0bbbeb89452a386886fbb555 /gnat2020.patch
parent5e17ac788f4ebf9a1e3d68ec480629b286605d85 (diff)
downloadaur-3d412a6d16a1b454f69915a9e8a883110f7c6a68.tar.gz
Update for recent versions
* Add gprconfig_kb sources from git and copy them so that gprinstall processes them. * Patch project files not to pass the "-gnat2020" flag. * Update the sed scripts to reflect change of locations of XML files. * Import the CFLAGS/LDFLAGS patch from libgpr-git.
Diffstat (limited to 'gnat2020.patch')
-rw-r--r--gnat2020.patch26
1 files changed, 26 insertions, 0 deletions
diff --git a/gnat2020.patch b/gnat2020.patch
new file mode 100644
index 000000000000..970d7efb3223
--- /dev/null
+++ b/gnat2020.patch
@@ -0,0 +1,26 @@
+diff --git a/gpr/gpr.gpr b/gpr/gpr.gpr
+index 7ff9ff81..98180a3e 100644
+--- a/gpr/gpr.gpr
++++ b/gpr/gpr.gpr
+@@ -43,7 +43,7 @@ library project GPR is
+ --------------
+
+ package Compiler is
+- Common_Switches := ("-gnat2020", "-gnaty", "-gnatQ", "-gnata");
++ Common_Switches := ("-gnaty", "-gnatQ", "-gnata");
+
+ case Bld is
+ when "debug" =>
+diff --git a/gprbuild.gpr b/gprbuild.gpr
+index 0fa1df76..35e04535 100644
+--- a/gprbuild.gpr
++++ b/gprbuild.gpr
+@@ -81,7 +81,7 @@ project Gprbuild is
+ --------------
+
+ package Compiler is
+- Common_Switches := ("-gnat2020", "-gnaty", "-gnatQ", "-gnata", "-gnateE");
++ Common_Switches := ("-gnaty", "-gnatQ", "-gnata", "-gnateE");
+
+ case Bld is
+ when "debug" =>