fno-tree-vrp

1 files changed, 1 insertions, 1 deletions

diff --git a/PKGBUILD b/PKGBUILD
index 0e6f621057a6..c4e7d8facc16 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -22,7 +22,7 @@ build() {
   cd aGrUM-$pkgver
   for _arch in ${_architectures}; do
     mkdir -p build-${_arch} && pushd build-${_arch}
-    CXXFLAGS="-fno-strict-aliasing" ${_arch}-cmake -DBUILD_PYTHON=OFF ..
+    CXXFLAGS="-fno-strict-aliasing -fno-tree-vrp" ${_arch}-cmake -DBUILD_PYTHON=OFF ..
     make
     popd
   done