summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorMichel Zou2020-05-16 13:08:10 +0200
committerMichel Zou2020-05-16 13:08:10 +0200
commit8e79c0e476848ba9c891a540fcd9c9917e5f2214 (patch)
tree15a5db5100b422b2c77cf67de32659868157a375
parent115ae80e1dd97d98fb1de7b8a67c5f51d12f92ca (diff)
downloadaur-8e79c0e476848ba9c891a540fcd9c9917e5f2214.tar.gz
exe
-rw-r--r--.SRCINFO2
-rw-r--r--PKGBUILD4
2 files changed, 3 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 578c286d2e6..d9637884e31 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 e16b94ed87b..1987917e97b 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