summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorRod Kay2022-05-14 21:29:20 +1000
committerRod Kay2022-05-14 21:29:20 +1000
commit396a6e702c5b25e135d19f6d333d3fb0cce105b5 (patch)
treebf46f884cf3a72ffd4af9e77fefec28558e95e84 /PKGBUILD
parentdaecc642005892b6238ca1641ad8fc11681dd4a9 (diff)
downloadaur-396a6e702c5b25e135d19f6d333d3fb0cce105b5.tar.gz
Rid flags not used by Ada.
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD6
1 files changed, 5 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index dabc464b4092..1e41c376f165 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -22,6 +22,10 @@ build()
{
cd "$srcdir/$_repo_name-$pkgver/gnatinspect"
+ # Rid flags not used by Ada.
+ CFLAGS="${CFLAGS//-Wformat}"
+ CFLAGS="${CFLAGS//-Werror=format-security}"
+
make setup BUILD=PROD prefix=/usr
make -j1 GPRBUILD_OPTIONS="-R -cargs $CFLAGS -largs $LDFLAGS -gargs"
}
@@ -43,4 +47,4 @@ package()
install -D -m644 \
"../COPYING.RUNTIME" \
"$pkgdir/usr/share/licenses/$pkgname/COPYING.RUNTIME"
-}
+} \ No newline at end of file