Add python bindings

2 files changed, 9 insertions, 1 deletions

diff --git a/.SRCINFO b/.SRCINFO
index fd9a058ea8cf..dfd7024c4fff 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,5 +1,5 @@
 # Generated by mksrcinfo v8
-# Sun Nov 20 04:47:12 UTC 2016
+# Sun Nov 20 04:52:29 UTC 2016
 pkgbase = z3-bin
 	pkgdesc = An automatic theorem prover
 	pkgver = 4.1
diff --git a/PKGBUILD b/PKGBUILD
index 47ac660ceb40..b1b80b71aa18 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,3 +1,4 @@
+# Contributor: kaptoxic(at)yahoo(dot)com
 # Contributor: Paolo Herms
 
 pkgname=z3-bin
@@ -18,6 +19,13 @@ md5sums=('4b7b4836264a7969f052cea45057e55b'
 
 build() {
   install -D "$srcdir"/z3/bin/z3 "$pkgdir"/usr/bin/z3
+
+  # python bindings
+  # /usr/lib/python3.5/site-packages
+  pypath=$(python -c "from distutils.sysconfig import get_python_lib; print(get_python_lib())")
+  install -m644 -D "$srcdir/{z3consts.py,z3core.py,z3num.py,z3poly.py,z3printer.py,z3.py,z3rcf.py,z3types.py,z3util.py}" "$pkgdir$pypath"
+
+  # license
   install -m644 -D "$srcdir/Z%203%20MSR-LA%20(2007-07-07).txt" "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
 }