Update to the latest z3 master

2 files changed, 6 insertions, 7 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 7295a8634169..292025be7467 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 da11c6de6ae8..cf5f9f6c7add 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