diff options
| author | Sören Tempel <soeren+git@soeren-tempel.net> | 2019-11-23 16:11:08 +0100 |
|---|---|---|
| committer | Sören Tempel <soeren+git@soeren-tempel.net> | 2019-11-23 16:25:53 +0100 |
| commit | a740bb96073eeb13142d9dffefa3093e644d7c0d (patch) | |
| tree | 0c93139352e6434e6dad3cc386e84b56cd25dcc5 | |
| parent | 1d04751c777ecf3ca048b8097752cf020bcc9595 (diff) | |
| download | aports-a740bb96073eeb13142d9dffefa3093e644d7c0d.tar.bz2 aports-a740bb96073eeb13142d9dffefa3093e644d7c0d.tar.xz | |
community/z3: upgrade to 4.8.7
| -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" |