summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorXiretza2021-07-13 21:49:47 +0200
committerXiretza2021-07-14 11:28:30 +0200
commitaa5ed088ab87baf1b2a257712b21436eec1cab89 (patch)
tree03d98a49a20173daa35ec3903bfd674314e96261
parentabcea120ba01df80e7bb0992cebef9448758f0e1 (diff)
downloadaur-aa5ed088ab87baf1b2a257712b21436eec1cab89.tar.gz
filter out -Wformat-security from CFLAGS
-rw-r--r--PKGBUILD7
1 files changed, 6 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index a8bc53201f1c..f0fe54dc9fa0 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -47,7 +47,12 @@ build() {
cd "$srcdir/$pkgbase-$pkgver"
export OS=UNIX
- GPRBUILD_OPTIONS="-R -cargs $CFLAGS -largs $LDFLAGS -gargs"
+
+ ADA_FLAGS="$CFLAGS"
+ ADA_FLAGS="${ADA_FLAGS//-Wformat}"
+ ADA_FLAGS="${ADA_FLAGS//-Werror=format-security}"
+
+ GPRBUILD_OPTIONS="-R -cargs $ADA_FLAGS -largs $LDFLAGS -gargs"
make BUILD=production setup
make GPRBUILD_OPTIONS="$GPRBUILD_OPTIONS" libgpr.build