Date: Sunday, September 29, 2019 @ 19:44:23 Author: anthraxx Revision: 512120
archrelease: copy trunk to community-x86_64 Added: z3/repos/community-x86_64/PKGBUILD (from rev 512119, z3/trunk/PKGBUILD) Deleted: z3/repos/community-x86_64/PKGBUILD ----------+ PKGBUILD | 110 ++++++++++++++++++++++++++++++------------------------------- 1 file changed, 55 insertions(+), 55 deletions(-) Deleted: PKGBUILD =================================================================== --- PKGBUILD 2019-09-29 19:44:19 UTC (rev 512119) +++ PKGBUILD 2019-09-29 19:44:23 UTC (rev 512120) @@ -1,55 +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') -pkgver=4.8.5 -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' 'python' 'python-setuptools' 'gcc-libs' 'gmp') -source=(https://github.com/Z3Prover/z3/archive/Z3-${pkgver}.tar.gz) -sha512sums=('ca36e1a0332bd473a64f41dfdb31656fb3486178473e4fd4934dccce109a84c9686c08f94998df74bacb588eb12ea5db25dc17a564ee76f82fd2559349697309') - -prepare() { - cd ${pkgbase}-Z3-${pkgver} - mkdir -p build -} - -build() { - cd ${pkgbase}-Z3-${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}-Z3-${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}-Z3-${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 . -} - -# vim: ts=2 sw=2 et: Copied: z3/repos/community-x86_64/PKGBUILD (from rev 512119, z3/trunk/PKGBUILD) =================================================================== --- PKGBUILD (rev 0) +++ PKGBUILD 2019-09-29 19:44:23 UTC (rev 512120) @@ -0,0 +1,55 @@ +# Maintainer: Felix Yan <felixonm...@archlinux.org> +# Maintainer: Levente Polyak <anthraxx[at]archlinux[dot]org> +# Contributor: rudy.matela + +pkgbase=z3 +pkgname=('z3' 'python-z3') +pkgver=4.8.6 +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' 'python' 'python-setuptools' 'gcc-libs' 'gmp') +source=(https://github.com/Z3Prover/z3/archive/z3-${pkgver}.tar.gz) +sha512sums=('d338413274a3d11a9e9287202989df9da4c31e095c14428a418d4019e9f86c0e2b681c519d2d0bcbb4cd99a722a2539006f5c86ade568b1ee208545b142369f1') + +prepare() { + cd ${pkgbase}-z3-${pkgver} + mkdir -p build +} + +build() { + cd ${pkgbase}-z3-${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}-z3-${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}-z3-${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 . +} + +# vim: ts=2 sw=2 et: