summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--PKGBUILD6
1 files changed, 5 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 5cd63dd70a55..afe3adea38fd 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -22,6 +22,10 @@ build()
{
cd "$srcdir/$_repo_name-$pkgver/xref"
+ # 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