diff options
-rw-r--r-- | PKGBUILD | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -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 |