Date: Thursday, May 24, 2018 @ 22:47:24 Author: anthraxx Revision: 329221
archrelease: copy trunk to community-x86_64 Added: z3/repos/community-x86_64/PKGBUILD (from rev 329220, z3/trunk/PKGBUILD) Deleted: z3/repos/community-x86_64/PKGBUILD ----------+ PKGBUILD | 139 +++++++++++++++++++++++++++++-------------------------------- 1 file changed, 68 insertions(+), 71 deletions(-) Deleted: PKGBUILD =================================================================== --- PKGBUILD 2018-05-24 22:47:16 UTC (rev 329220) +++ PKGBUILD 2018-05-24 22:47:24 UTC (rev 329221) @@ -1,71 +0,0 @@ -# Maintainer: Felix Yan <felixonm...@archlinux.org> -# Maintainer: Levente Polyak <anthraxx[at]archlinux[dot]org> -# Contributor: rudy.matela - -pkgbase=z3 -pkgname=('z3' 'python-z3' 'python2-z3') -pkgver=4.6.0 -pkgrel=2 -pkgdesc='High-performance theorem prover' -url='https://github.com/Z3Prover/z3' -arch=('x86_64') -license=('MIT') - # 'java-environment-common' 'mono' 'ocaml' 'ocaml-findlib' -makedepends=('cmake' 'python2' 'python2-setuptools' 'python' 'python-setuptools' 'gcc-libs' 'gmp') -optdepends=('python2-setuptools: bindings for python2') -source=(https://github.com/Z3Prover/z3/archive/${pkgbase}-${pkgver}.tar.gz - z3-${pkgver}-gcc8.patch::https://github.com/Z3Prover/z3/commit/2d5dd802386d78117d5ed9ddcbf8bc22ab3cb461.patch) -sha512sums=('92a87292db17ceb4a90e45bce4f6237fe0437a7a5e147b4b63a2cb793e2d59fc04a6aa579ddb904280eac08b4a85c600df092d4c2fa99239199514b9c0363243' - '8d1e9e140dcbc3e97379d5a4f7943837046b5cfa07bd76a5703242a0f80b9b70e9bb279282f3415f8fccc80590cf75d1b325393467cb2ad8f24bf3dc9d8a900d') - -prepare() { - cd ${pkgbase}-${pkgbase}-${pkgver} - patch -Np1 < ../z3-${pkgver}-gcc8.patch - mkdir -p build -} - -build() { - cd ${pkgbase}-${pkgbase}-${pkgver}/build - cmake .. \ - -DCMAKE_BUILD_TYPE=Release \ - -DCMAKE_INSTALL_PREFIX=/usr \ - -DCMAKE_INSTALL_LIBDIR=lib \ - -DBUILD_PYTHON_BINDINGS=1 \ - -DPYTHON_EXECUTABLE=/usr/bin/python \ - -DUSE_LIB_GMP=1 - make -} - -package_z3() { - depends=('gcc-libs' 'gmp') - provides=('libz3' 'libz3.so') - cd ${pkgbase}-${pkgbase}-${pkgver}/build - make DESTDIR="${pkgdir}" install - install -Dm 644 ../LICENSE.txt -t "${pkgdir}/usr/share/licenses/${pkgname}" - rm -r "${pkgdir}"/usr/lib/python* -} - -package_python-z3() { - depends=('python' '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* - python -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 - python2 -m compileall . - python2 -O -m compileall . -} - -# vim: ts=2 sw=2 et: Copied: z3/repos/community-x86_64/PKGBUILD (from rev 329220, z3/trunk/PKGBUILD) =================================================================== --- PKGBUILD (rev 0) +++ PKGBUILD 2018-05-24 22:47:24 UTC (rev 329221) @@ -0,0 +1,68 @@ +# Maintainer: Felix Yan <felixonm...@archlinux.org> +# Maintainer: Levente Polyak <anthraxx[at]archlinux[dot]org> +# Contributor: rudy.matela + +pkgbase=z3 +pkgname=('z3' 'python-z3' 'python2-z3') +pkgver=4.7.1 +pkgrel=1 +pkgdesc='High-performance theorem prover' +url='https://github.com/Z3Prover/z3' +arch=('x86_64') +license=('MIT') + # 'java-environment-common' 'mono' 'ocaml' 'ocaml-findlib' +makedepends=('cmake' 'python2' 'python2-setuptools' 'python' 'python-setuptools' 'gcc-libs' 'gmp') +optdepends=('python2-setuptools: bindings for python2') +source=(https://github.com/Z3Prover/z3/archive/${pkgbase}-${pkgver}.tar.gz) +sha512sums=('4c8c856691134298c4b5e465d6fadfe446532dfcd8c92aed7c9a6bbfc8557074a45cd7316dbfa5045824e2504db159afeb8ff676d4bfc942496623cf31d11aa0') + +prepare() { + cd ${pkgbase}-${pkgbase}-${pkgver} + mkdir -p build +} + +build() { + cd ${pkgbase}-${pkgbase}-${pkgver}/build + cmake .. \ + -DCMAKE_BUILD_TYPE=Release \ + -DCMAKE_INSTALL_PREFIX=/usr \ + -DCMAKE_INSTALL_LIBDIR=lib \ + -DBUILD_PYTHON_BINDINGS=1 \ + -DPYTHON_EXECUTABLE=/usr/bin/python \ + -DUSE_LIB_GMP=1 + make +} + +package_z3() { + depends=('gcc-libs' 'gmp') + provides=('libz3' 'libz3.so') + cd ${pkgbase}-${pkgbase}-${pkgver}/build + make DESTDIR="${pkgdir}" install + install -Dm 644 ../LICENSE.txt -t "${pkgdir}/usr/share/licenses/${pkgname}" + rm -r "${pkgdir}"/usr/lib/python* +} + +package_python-z3() { + depends=('python' '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* + python -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 + python2 -m compileall . + python2 -O -m compileall . +} + +# vim: ts=2 sw=2 et: