diff options
author | Pierre-Marie de Rodat | 2021-05-24 08:13:51 +0200 |
---|---|---|
committer | Pierre-Marie de Rodat | 2021-05-24 08:13:51 +0200 |
commit | 7b3cecbe36f0c4a5a0ac489a588a1ac08ae1f139 (patch) | |
tree | 6fae4d15de3586c65cfd1f5fd9be64314dfed73e /gnat2020.patch | |
parent | 3d412a6d16a1b454f69915a9e8a883110f7c6a68 (diff) | |
download | aur-gprbuild-git.tar.gz |
Remove the workaround for -gnat2020 now that Arch uses GCC 11
Diffstat (limited to 'gnat2020.patch')
-rw-r--r-- | gnat2020.patch | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/gnat2020.patch b/gnat2020.patch deleted file mode 100644 index 970d7efb3223..000000000000 --- a/gnat2020.patch +++ /dev/null @@ -1,26 +0,0 @@ -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" => |