blob: db1d5ff1257e31936cf024c2bdea5c6124071fa3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
# Contributor: kaptoxic(at)yahoo(dot)com
# Contributor: Paolo Herms
pkgname=z3-bin
pkgver=4.5.0
pkgrel=1
pkgdesc="An automatic theorem prover"
arch=(i686 x86_64)
url="http://research.microsoft.com/en-us/um/redmond/projects/z3"
license=('custom')
source=("https://github.com/Z3Prover/z3/releases/download/z3-${pkgver}/z3-${pkgver}-x86-ubuntu-14.04.zip")
md5sums=('243d48eb4c3531f323056040b94459ad')
[[ "$CARCH" = x86_64 ]] && {
source="https://github.com/Z3Prover/z3/releases/download/z3-${pkgver}/z3-${pkgver}-x64-ubuntu-14.04.zip"
md5sums=('030fe472df4c6b2f16019e0ef12c8918')
}
package() {
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/LICENSE.txt" "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
}
|