summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-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