diff options
| -rw-r--r-- | community/z3/APKBUILD | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/community/z3/APKBUILD b/community/z3/APKBUILD index 79336e29f0..1083ce66fe 100644 --- a/community/z3/APKBUILD +++ b/community/z3/APKBUILD @@ -1,8 +1,8 @@ # Contributor: Sören Tempel <soeren+alpine@soeren-tempel.net> # Maintainer: Sören Tempel <soeren+alpine@soeren-tempel.net> pkgname=z3 -pkgver=4.8.6 -pkgrel=1 +pkgver=4.8.7 +pkgrel=0 pkgdesc="Theorem prover from Microsoft Research" url="https://github.com/Z3Prover/z3" arch="all !s390x !aarch64" @@ -15,8 +15,8 @@ builddir="$srcdir/z3-z3-$pkgver" build() { mkdir build && cd build cmake -G "Unix Makefiles" \ - -DBUILD_PYTHON_BINDINGS=True \ - -DINSTALL_PYTHON_BINDINGS=True \ + -DZ3_BUILD_PYTHON_BINDINGS=True \ + -DZ3_INSTALL_PYTHON_BINDINGS=True \ -DPYTHON_EXECUTABLE=/usr/bin/python3 \ -DCMAKE_INSTALL_PREFIX=/usr \ -DCMAKE_INSTALL_LIBDIR=lib \ @@ -49,4 +49,4 @@ py3() { "$subpkgdir"/usr/lib/ } -sha512sums="d338413274a3d11a9e9287202989df9da4c31e095c14428a418d4019e9f86c0e2b681c519d2d0bcbb4cd99a722a2539006f5c86ade568b1ee208545b142369f1 z3-4.8.6.tar.gz" +sha512sums="145e2b2f1fa4edd0917107c7e1d54d779c7ed85c48af2ce6def4c90d1c4db05f74c9657e173cedf48770589fbe484c97fa1923295271cd3792523ffc4f67ed0c z3-4.8.7.tar.gz" |