summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorXiretza2021-07-16 21:51:52 +0200
committerXiretza2021-07-16 21:51:52 +0200
commit56b6b2ed8378a3b9287b09d7526239ab9a3def94 (patch)
tree1020aea52816e0ca0aa2691ddce48aca2d5bc44d
parentafbc5431d8247a2b32c6389266746fe231aa0aac (diff)
downloadaur-56b6b2ed8378a3b9287b09d7526239ab9a3def94.tar.gz
Respect CFLAGS/LDFLAGS
-rw-r--r--PKGBUILD6
1 files changed, 5 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 092d27705324..134e36c991da 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -22,11 +22,15 @@ build()
{
cd "$srcdir/$_extract_dir"
+ ADA_FLAGS="$CFLAGS"
+ ADA_FLAGS="${ADA_FLAGS//-Wformat}"
+ ADA_FLAGS="${ADA_FLAGS//-Werror=format-security}"
+
# Build the Langkit_Support library, used by all Langkit-generated libraries.
python manage.py build-langkit-support \
--library-types=relocatable \
--build-mode=prod \
- --gargs="-R"
+ --gargs="-R -cargs $ADA_FLAGS -largs $LDFLAGS -gargs"
make -C doc html
}