diff options
author | Rod Kay | 2022-05-14 21:29:20 +1000 |
---|---|---|
committer | Rod Kay | 2022-05-14 21:29:20 +1000 |
commit | 396a6e702c5b25e135d19f6d333d3fb0cce105b5 (patch) | |
tree | bf46f884cf3a72ffd4af9e77fefec28558e95e84 | |
parent | daecc642005892b6238ca1641ad8fc11681dd4a9 (diff) | |
download | aur-396a6e702c5b25e135d19f6d333d3fb0cce105b5.tar.gz |
Rid flags not used by Ada.
-rw-r--r-- | PKGBUILD | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -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 |