diff options
author | nytpu | 2023-03-18 08:50:30 -0600 |
---|---|---|
committer | nytpu | 2023-03-18 08:50:30 -0600 |
commit | 8834299bed16054233ea475b451bc4356e7cdb84 (patch) | |
tree | 7be8d416f49fe5c36144957e793febd01891009e /build-flags.patch | |
parent | 98c9dbffe6b10128353682a4b329bd0247f31d99 (diff) | |
download | aur-spark2014-git.tar.gz |
upgpkg: spark2014-git 0.3.draft.r23092.g3e6f33a5e9-1
spark2014-git: fix building on recent versions
Diffstat (limited to 'build-flags.patch')
-rw-r--r-- | build-flags.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/build-flags.patch b/build-flags.patch new file mode 100644 index 000000000000..11dfe2254f17 --- /dev/null +++ b/build-flags.patch @@ -0,0 +1,12 @@ +diff --color --unified --recursive --text src.orig/spark2014/gnat2why/gnat2why_gnat.gpr src/spark2014/gnat2why/gnat2why_gnat.gpr +--- src.orig/spark2014/gnat2why/gnat2why_gnat.gpr 2023-03-18 08:10:41.804020508 -0600 ++++ src/spark2014/gnat2why/gnat2why_gnat.gpr 2023-03-18 08:11:36.097357323 -0600 +@@ -13,7 +13,7 @@ + + Build : Build_Type := External ("Build", "Devel"); + +- Common_Switches := ("-g", "-gnat2022"); ++ Common_Switches := ("-g", "-gnat2022", "-gnatwU"); + -- These are appended after other switches, in particular, after -gnatg, + -- which sets the Ada version to 2012. + |