summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorice-phoenix2019-03-12 17:50:40 +0300
committerice-phoenix2019-03-12 17:50:40 +0300
commitcee7db72e5684f270cdf2757e8614f26391f5623 (patch)
treefd57e77a78f74e5fab62932374647a752e8c7743
parent0c5807184f6a22e6540d74bf0c2afb3e111f86e5 (diff)
downloadaur-z3-stable-git.tar.gz
Update to the latest z3 master
-rw-r--r--.SRCINFO4
-rw-r--r--PKGBUILD9
2 files changed, 6 insertions, 7 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 7295a863416..292025be746 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,6 @@
-# Generated by mksrcinfo v8
-# Tue Dec 13 11:20:24 UTC 2016
pkgbase = z3-stable-git
pkgdesc = Z3 is a high-performance theorem prover being developed at Microsoft Research (built from Github)
- pkgver = 4.5.0.gc1480b4
+ pkgver = 4.8.4.g05663592e
pkgrel = 1
url = https://github.com/Z3Prover/z3
arch = i686
diff --git a/PKGBUILD b/PKGBUILD
index da11c6de6ae..cf5f9f6c7ad 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
# Maintainer: Marat Akhin <Marat.Akhin@gmail.com>
pkgname=z3-stable-git
-pkgver=4.5.0.gc1480b4
+pkgver=4.8.4.g05663592e
pkgrel=1
pkgdesc="Z3 is a high-performance theorem prover being developed at Microsoft Research (built from Github)"
arch=('i686' 'x86_64')
@@ -21,13 +21,14 @@ pkgver() {
build() {
cd "$srcdir/z3"
+ export PYTHON_SITE_PACKAGES=`python -c "import site; print(site.getsitepackages()[0])"`
+
Z3_INSTALL_INCLUDE_DIR="include/z3" \
python scripts/mk_make.py \
--prefix="$pkgdir/usr" \
- --pypkgdir="$pkgdir/usr/lib/python3.5/site-packages" \
+ --pypkgdir="$pkgdir$PYTHON_SITE_PACKAGES" \
--python \
- --java \
- --ml
+ --java
cd "$srcdir/z3/build"
make