exe

2 files changed, 3 insertions, 3 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 578c286d2e68..d9637884e31a 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
 pkgbase = mingw-w64-z3
 	pkgdesc = High-performance theorem prover (mingw-w64)
 	pkgver = 4.8.8
-	pkgrel = 1
+	pkgrel = 2
 	url = https://github.com/Z3Prover/z3
 	arch = any
 	license = MIT
diff --git a/PKGBUILD b/PKGBUILD
index e16b94ed87b5..1987917e97b1 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,6 +1,6 @@
 pkgname=('mingw-w64-z3')
 pkgver=4.8.8
-pkgrel=1
+pkgrel=2
 pkgdesc='High-performance theorem prover (mingw-w64)'
 url='https://github.com/Z3Prover/z3'
 arch=('any')
@@ -21,7 +21,7 @@ build() {
   cd z3-z3-${pkgver}
   for _arch in ${_architectures}; do
     mkdir -p build-${_arch} && pushd build-${_arch}
-    ${_arch}-cmake -DUSE_LIB_GMP=1 ..
+    ${_arch}-cmake -DZ3_USE_LIB_GMP=1 -DZ3_BUILD_EXECUTABLE=OFF -DZ3_BUILD_TEST_EXECUTABLES=OFF -DZ3_ENABLE_EXAMPLE_TARGETS=OFF ..
     make
     popd
   done