diff options
author | kaptoxic | 2016-11-19 23:52:35 -0500 |
---|---|---|
committer | kaptoxic | 2016-11-19 23:52:35 -0500 |
commit | 5685bdf97e15dde32f0ed220f6b2dd7529c7dc91 (patch) | |
tree | 1bad420c14b039f21a11c7215cf7605169ec968b | |
parent | a879df43b01285719ad8c52f57e5d72d4d460394 (diff) | |
download | aur-5685bdf97e15dde32f0ed220f6b2dd7529c7dc91.tar.gz |
Add python bindings
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 8 |
2 files changed, 9 insertions, 1 deletions
@@ -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 @@ -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 } |