archlinuxarm/PKGBUILDs
1
0
Fork 0
mirror of https://github.com/archlinuxarm/PKGBUILDs.git synced 2025-03-19 00:21:40 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

community/z3 to 4.8.4-2

Browse source
This commit is contained in:
Kevin Mihelich 2019-03-19 18:35:15 +00:00
parent 4d2a21cd75
commit 8217e5c129
1 changed files with 3 additions and 17 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
community/z3/PKGBUILD
View file

@ -6,16 +6,15 @@
# - patch from Fedora to fix ARM FTBFS # - patch from Fedora to fix ARM FTBFS
pkgbase=z3 pkgbase=z3
pkgname=('z3' 'python-z3' 'python2-z3') pkgname=('z3' 'python-z3')
pkgver=4.8.4 pkgver=4.8.4
pkgrel=1 pkgrel=2
pkgdesc='High-performance theorem prover' pkgdesc='High-performance theorem prover'
url='https://github.com/Z3Prover/z3' url='https://github.com/Z3Prover/z3'
arch=('x86_64') arch=('x86_64')
license=('MIT') license=('MIT')
# 'java-environment-common' 'mono' 'ocaml' 'ocaml-findlib' # 'java-environment-common' 'mono' 'ocaml' 'ocaml-findlib'
makedepends=('cmake' 'python2' 'python2-setuptools' 'python' 'python-setuptools' 'gcc-libs' 'gmp') makedepends=('cmake' 'python' 'python-setuptools' 'gcc-libs' 'gmp')
optdepends=('python2-setuptools: bindings for python2')
source=(https://github.com/Z3Prover/z3/archive/${pkgbase}-${pkgver}.tar.gz source=(https://github.com/Z3Prover/z3/archive/${pkgbase}-${pkgver}.tar.gz
z3-no-sse.patch) z3-no-sse.patch)
sha512sums=('4660ba6ab33a6345b2e8396c332d4afcfc73eda66ceb2595a39f152df4d62a9ea0f349b0f9212389ba84ecba6bdae6ad9b62b376ba44dc4d9c74f80d7a818bf4' sha512sums=('4660ba6ab33a6345b2e8396c332d4afcfc73eda66ceb2595a39f152df4d62a9ea0f349b0f9212389ba84ecba6bdae6ad9b62b376ba44dc4d9c74f80d7a818bf4'
@ -59,17 +58,4 @@ package_python-z3() {
python -O -m compileall . python -O -m compileall .
} }
package_python2-z3() {
depends=('python2' 'libz3')
cd ${pkgbase}-${pkgbase}-${pkgver}/build
make DESTDIR="${pkgdir}" install
install -Dm 644 ../LICENSE.txt -t "${pkgdir}/usr/share/licenses/${pkgname}"
cd "${pkgdir}"
rm -r usr/include usr/bin usr/lib/cmake usr/lib/lib*
mv usr/lib/python* usr/lib/python2.7
[ -n "${SOURCE_DATE_EPOCH}" ] && find . -exec touch -h -d @$SOURCE_DATE_EPOCH {} +
python2 -m compileall .
python2 -O -m compileall .
}
# vim: ts=2 sw=2 et: # vim: ts=2 sw=2 et: