[arch-commits] Commit in z3/repos/community-x86_64 (PKGBUILD PKGBUILD)
Date: Saturday, September 12, 2020 @ 09:00:42 Author: felixonmars Revision: 70 archrelease: copy trunk to community-x86_64 Added: z3/repos/community-x86_64/PKGBUILD (from rev 703328, z3/trunk/PKGBUILD) Deleted: z3/repos/community-x86_64/PKGBUILD --+ PKGBUILD | 110 ++--- 1 file changed, 55 insertions(+), 55 deletions(-) Deleted: PKGBUILD === --- PKGBUILD2020-09-12 09:00:42 UTC (rev 703332) +++ PKGBUILD2020-09-12 09:00:42 UTC (rev 70) @@ -1,55 +0,0 @@ -# Maintainer: Felix Yan -# Maintainer: Levente Polyak -# Contributor: rudy.matela - -pkgbase=z3 -pkgname=('z3' 'python-z3') -pkgver=4.8.9 -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') -source=(https://github.com/Z3Prover/z3/archive/z3-${pkgver}.tar.gz) -sha512sums=('a50da5c3f9e27d3e804c1b71f648a3dbd5a55223b7344d66f191a1b34a4d787810abd976840d3ab3878aaf5c96d89f5a517cac0781b82aa927a9d8d54836d54f') - -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 \ --DZ3_LINK_TIME_OPTIMIZATION=1 \ --DZ3_BUILD_PYTHON_BINDINGS=1 \ --DPYTHON_EXECUTABLE=/usr/bin/python - make -} - -package_z3() { - depends=('gcc-libs') - 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' 'z3') - 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 703328, z3/trunk/PKGBUILD) === --- PKGBUILD(rev 0) +++ PKGBUILD2020-09-12 09:00:42 UTC (rev 70) @@ -0,0 +1,55 @@ +# Maintainer: Felix Yan +# Maintainer: Levente Polyak +# Contributor: rudy.matela + +pkgbase=z3 +pkgname=('z3' 'python-z3') +pkgver=4.8.9 +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' 'python' 'python-setuptools' 'gcc-libs') +source=(https://github.com/Z3Prover/z3/archive/z3-${pkgver}.tar.gz) +sha512sums=('a50da5c3f9e27d3e804c1b71f648a3dbd5a55223b7344d66f191a1b34a4d787810abd976840d3ab3878aaf5c96d89f5a517cac0781b82aa927a9d8d54836d54f') + +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 \ +-DZ3_LINK_TIME_OPTIMIZATION=1 \ +-DZ3_BUILD_PYTHON_BINDINGS=1 \ +-DPYTHON_EXECUTABLE=/usr/bin/python + make +} + +package_z3() { + depends=('gcc-libs') + 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' 'z3') + 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,pkgconfig,lib*} + python -m compileall . + python -O -m compileall . +} + +# vim: ts=2 sw=2 et:
[arch-commits] Commit in z3/repos/community-x86_64 (PKGBUILD PKGBUILD)
Date: Friday, September 11, 2020 @ 23:48:30 Author: felixonmars Revision: 702936 archrelease: copy trunk to community-x86_64 Added: z3/repos/community-x86_64/PKGBUILD (from rev 702935, z3/trunk/PKGBUILD) Deleted: z3/repos/community-x86_64/PKGBUILD --+ PKGBUILD | 110 ++--- 1 file changed, 55 insertions(+), 55 deletions(-) Deleted: PKGBUILD === --- PKGBUILD2020-09-11 23:48:21 UTC (rev 702935) +++ PKGBUILD2020-09-11 23:48:30 UTC (rev 702936) @@ -1,55 +0,0 @@ -# Maintainer: Felix Yan -# Maintainer: Levente Polyak -# Contributor: rudy.matela - -pkgbase=z3 -pkgname=('z3' 'python-z3') -pkgver=4.8.8 -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' 'python' 'python-setuptools' 'gcc-libs') -source=(https://github.com/Z3Prover/z3/archive/z3-${pkgver}.tar.gz) -sha512sums=('a6823cadb7cdad11b8f0db1530676c0ec4853886dfb3c4dbc5b798c5dbd445afb0c61675f81cb7f99c1b1734d9cd0ec96a07c68a948da3c25801fc6767fea47f') - -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 \ --DZ3_LINK_TIME_OPTIMIZATION=1 \ --DZ3_BUILD_PYTHON_BINDINGS=1 \ --DPYTHON_EXECUTABLE=/usr/bin/python - make -} - -package_z3() { - depends=('gcc-libs') - 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' 'z3') - 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 702935, z3/trunk/PKGBUILD) === --- PKGBUILD(rev 0) +++ PKGBUILD2020-09-11 23:48:30 UTC (rev 702936) @@ -0,0 +1,55 @@ +# Maintainer: Felix Yan +# Maintainer: Levente Polyak +# Contributor: rudy.matela + +pkgbase=z3 +pkgname=('z3' 'python-z3') +pkgver=4.8.9 +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') +source=(https://github.com/Z3Prover/z3/archive/z3-${pkgver}.tar.gz) +sha512sums=('a50da5c3f9e27d3e804c1b71f648a3dbd5a55223b7344d66f191a1b34a4d787810abd976840d3ab3878aaf5c96d89f5a517cac0781b82aa927a9d8d54836d54f') + +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 \ +-DZ3_LINK_TIME_OPTIMIZATION=1 \ +-DZ3_BUILD_PYTHON_BINDINGS=1 \ +-DPYTHON_EXECUTABLE=/usr/bin/python + make +} + +package_z3() { + depends=('gcc-libs') + 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' 'z3') + 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:
[arch-commits] Commit in z3/repos/community-x86_64 (PKGBUILD PKGBUILD)
Date: Monday, September 7, 2020 @ 20:57:12 Author: felixonmars Revision: 700363 archrelease: copy trunk to community-x86_64 Added: z3/repos/community-x86_64/PKGBUILD (from rev 700362, z3/trunk/PKGBUILD) Deleted: z3/repos/community-x86_64/PKGBUILD --+ PKGBUILD | 111 ++--- 1 file changed, 55 insertions(+), 56 deletions(-) Deleted: PKGBUILD === --- PKGBUILD2020-09-07 20:57:02 UTC (rev 700362) +++ PKGBUILD2020-09-07 20:57:12 UTC (rev 700363) @@ -1,56 +0,0 @@ -# Maintainer: Felix Yan -# Maintainer: Levente Polyak -# Contributor: rudy.matela - -pkgbase=z3 -pkgname=('z3' 'python-z3') -pkgver=4.8.8 -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=('a6823cadb7cdad11b8f0db1530676c0ec4853886dfb3c4dbc5b798c5dbd445afb0c61675f81cb7f99c1b1734d9cd0ec96a07c68a948da3c25801fc6767fea47f') - -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 \ --DZ3_LINK_TIME_OPTIMIZATION=1 \ --DZ3_BUILD_PYTHON_BINDINGS=1 \ --DPYTHON_EXECUTABLE=/usr/bin/python \ --DZ3_USE_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 700362, z3/trunk/PKGBUILD) === --- PKGBUILD(rev 0) +++ PKGBUILD2020-09-07 20:57:12 UTC (rev 700363) @@ -0,0 +1,55 @@ +# Maintainer: Felix Yan +# Maintainer: Levente Polyak +# Contributor: rudy.matela + +pkgbase=z3 +pkgname=('z3' 'python-z3') +pkgver=4.8.8 +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' 'python' 'python-setuptools' 'gcc-libs') +source=(https://github.com/Z3Prover/z3/archive/z3-${pkgver}.tar.gz) +sha512sums=('a6823cadb7cdad11b8f0db1530676c0ec4853886dfb3c4dbc5b798c5dbd445afb0c61675f81cb7f99c1b1734d9cd0ec96a07c68a948da3c25801fc6767fea47f') + +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 \ +-DZ3_LINK_TIME_OPTIMIZATION=1 \ +-DZ3_BUILD_PYTHON_BINDINGS=1 \ +-DPYTHON_EXECUTABLE=/usr/bin/python + make +} + +package_z3() { + depends=('gcc-libs') + 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' 'z3') + 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:
[arch-commits] Commit in z3/repos/community-x86_64 (PKGBUILD PKGBUILD)
Date: Sunday, May 10, 2020 @ 20:48:39 Author: felixonmars Revision: 626224 archrelease: copy trunk to community-x86_64 Added: z3/repos/community-x86_64/PKGBUILD (from rev 626223, z3/trunk/PKGBUILD) Deleted: z3/repos/community-x86_64/PKGBUILD --+ PKGBUILD | 112 ++--- 1 file changed, 56 insertions(+), 56 deletions(-) Deleted: PKGBUILD === --- PKGBUILD2020-05-10 20:48:23 UTC (rev 626223) +++ PKGBUILD2020-05-10 20:48:39 UTC (rev 626224) @@ -1,56 +0,0 @@ -# Maintainer: Felix Yan -# Maintainer: Levente Polyak -# Contributor: rudy.matela - -pkgbase=z3 -pkgname=('z3' 'python-z3') -pkgver=4.8.7 -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=('145e2b2f1fa4edd0917107c7e1d54d779c7ed85c48af2ce6def4c90d1c4db05f74c9657e173cedf48770589fbe484c97fa1923295271cd3792523ffc4f67ed0c') - -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 \ --DZ3_LINK_TIME_OPTIMIZATION=1 \ --DZ3_BUILD_PYTHON_BINDINGS=1 \ --DPYTHON_EXECUTABLE=/usr/bin/python \ --DZ3_USE_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 626223, z3/trunk/PKGBUILD) === --- PKGBUILD(rev 0) +++ PKGBUILD2020-05-10 20:48:39 UTC (rev 626224) @@ -0,0 +1,56 @@ +# Maintainer: Felix Yan +# Maintainer: Levente Polyak +# Contributor: rudy.matela + +pkgbase=z3 +pkgname=('z3' 'python-z3') +pkgver=4.8.8 +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=('a6823cadb7cdad11b8f0db1530676c0ec4853886dfb3c4dbc5b798c5dbd445afb0c61675f81cb7f99c1b1734d9cd0ec96a07c68a948da3c25801fc6767fea47f') + +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 \ +-DZ3_LINK_TIME_OPTIMIZATION=1 \ +-DZ3_BUILD_PYTHON_BINDINGS=1 \ +-DPYTHON_EXECUTABLE=/usr/bin/python \ +-DZ3_USE_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:
[arch-commits] Commit in z3/repos/community-x86_64 (PKGBUILD PKGBUILD)
Date: Friday, November 22, 2019 @ 15:46:15 Author: felixonmars Revision: 531962 archrelease: copy trunk to community-x86_64 Added: z3/repos/community-x86_64/PKGBUILD (from rev 531961, z3/trunk/PKGBUILD) Deleted: z3/repos/community-x86_64/PKGBUILD --+ PKGBUILD | 111 ++--- 1 file changed, 56 insertions(+), 55 deletions(-) Deleted: PKGBUILD === --- PKGBUILD2019-11-22 15:46:00 UTC (rev 531961) +++ PKGBUILD2019-11-22 15:46:15 UTC (rev 531962) @@ -1,55 +0,0 @@ -# Maintainer: Felix Yan -# Maintainer: Levente Polyak -# Contributor: rudy.matela - -pkgbase=z3 -pkgname=('z3' 'python-z3') -pkgver=4.8.6 -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' '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: Copied: z3/repos/community-x86_64/PKGBUILD (from rev 531961, z3/trunk/PKGBUILD) === --- PKGBUILD(rev 0) +++ PKGBUILD2019-11-22 15:46:15 UTC (rev 531962) @@ -0,0 +1,56 @@ +# Maintainer: Felix Yan +# Maintainer: Levente Polyak +# Contributor: rudy.matela + +pkgbase=z3 +pkgname=('z3' 'python-z3') +pkgver=4.8.7 +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=('145e2b2f1fa4edd0917107c7e1d54d779c7ed85c48af2ce6def4c90d1c4db05f74c9657e173cedf48770589fbe484c97fa1923295271cd3792523ffc4f67ed0c') + +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 \ +-DZ3_LINK_TIME_OPTIMIZATION=1 \ +-DZ3_BUILD_PYTHON_BINDINGS=1 \ +-DPYTHON_EXECUTABLE=/usr/bin/python \ +-DZ3_USE_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:
[arch-commits] Commit in z3/repos/community-x86_64 (PKGBUILD PKGBUILD)
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 === --- PKGBUILD2019-09-29 19:44:19 UTC (rev 512119) +++ PKGBUILD2019-09-29 19:44:23 UTC (rev 512120) @@ -1,55 +0,0 @@ -# Maintainer: Felix Yan -# Maintainer: Levente Polyak -# 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) +++ PKGBUILD2019-09-29 19:44:23 UTC (rev 512120) @@ -0,0 +1,55 @@ +# Maintainer: Felix Yan +# Maintainer: Levente Polyak +# 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:
[arch-commits] Commit in z3/repos/community-x86_64 (PKGBUILD PKGBUILD)
Date: Wednesday, June 5, 2019 @ 22:58:34 Author: anthraxx Revision: 477383 archrelease: copy trunk to community-x86_64 Added: z3/repos/community-x86_64/PKGBUILD (from rev 477382, z3/trunk/PKGBUILD) Deleted: z3/repos/community-x86_64/PKGBUILD --+ PKGBUILD | 110 ++--- 1 file changed, 55 insertions(+), 55 deletions(-) Deleted: PKGBUILD === --- PKGBUILD2019-06-05 22:58:29 UTC (rev 477382) +++ PKGBUILD2019-06-05 22:58:34 UTC (rev 477383) @@ -1,55 +0,0 @@ -# Maintainer: Felix Yan -# Maintainer: Levente Polyak -# Contributor: rudy.matela - -pkgbase=z3 -pkgname=('z3' 'python-z3') -pkgver=4.8.4 -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' 'python' 'python-setuptools' 'gcc-libs' 'gmp') -source=(https://github.com/Z3Prover/z3/archive/${pkgbase}-${pkgver}.tar.gz) -sha512sums=('4660ba6ab33a6345b2e8396c332d4afcfc73eda66ceb2595a39f152df4d62a9ea0f349b0f9212389ba84ecba6bdae6ad9b62b376ba44dc4d9c74f80d7a818bf4') - -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 . -} - -# vim: ts=2 sw=2 et: Copied: z3/repos/community-x86_64/PKGBUILD (from rev 477382, z3/trunk/PKGBUILD) === --- PKGBUILD(rev 0) +++ PKGBUILD2019-06-05 22:58:34 UTC (rev 477383) @@ -0,0 +1,55 @@ +# Maintainer: Felix Yan +# Maintainer: Levente Polyak +# 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:
[arch-commits] Commit in z3/repos/community-x86_64 (PKGBUILD PKGBUILD)
Date: Tuesday, March 19, 2019 @ 17:15:05 Author: felixonmars Revision: 442774 archrelease: copy trunk to community-x86_64 Added: z3/repos/community-x86_64/PKGBUILD (from rev 442773, z3/trunk/PKGBUILD) Deleted: z3/repos/community-x86_64/PKGBUILD --+ PKGBUILD | 124 +++-- 1 file changed, 55 insertions(+), 69 deletions(-) Deleted: PKGBUILD === --- PKGBUILD2019-03-19 17:14:47 UTC (rev 442773) +++ PKGBUILD2019-03-19 17:15:05 UTC (rev 442774) @@ -1,69 +0,0 @@ -# Maintainer: Felix Yan -# Maintainer: Levente Polyak -# Contributor: rudy.matela - -pkgbase=z3 -pkgname=('z3' 'python-z3' 'python2-z3') -pkgver=4.8.4 -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=('4660ba6ab33a6345b2e8396c332d4afcfc73eda66ceb2595a39f152df4d62a9ea0f349b0f9212389ba84ecba6bdae6ad9b62b376ba44dc4d9c74f80d7a818bf4') - -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 - [ -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: Copied: z3/repos/community-x86_64/PKGBUILD (from rev 442773, z3/trunk/PKGBUILD) === --- PKGBUILD(rev 0) +++ PKGBUILD2019-03-19 17:15:05 UTC (rev 442774) @@ -0,0 +1,55 @@ +# Maintainer: Felix Yan +# Maintainer: Levente Polyak +# Contributor: rudy.matela + +pkgbase=z3 +pkgname=('z3' 'python-z3') +pkgver=4.8.4 +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' 'python' 'python-setuptools' 'gcc-libs' 'gmp') +source=(https://github.com/Z3Prover/z3/archive/${pkgbase}-${pkgver}.tar.gz) +sha512sums=('4660ba6ab33a6345b2e8396c332d4afcfc73eda66ceb2595a39f152df4d62a9ea0f349b0f9212389ba84ecba6bdae6ad9b62b376ba44dc4d9c74f80d7a818bf4') + +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 . +} + +# vim: ts=2 sw=2 et:
[arch-commits] Commit in z3/repos/community-x86_64 (PKGBUILD PKGBUILD)
Date: Friday, December 21, 2018 @ 18:59:06 Author: felixonmars Revision: 417449 archrelease: copy trunk to community-x86_64 Added: z3/repos/community-x86_64/PKGBUILD (from rev 417448, z3/trunk/PKGBUILD) Deleted: z3/repos/community-x86_64/PKGBUILD --+ PKGBUILD | 138 ++--- 1 file changed, 69 insertions(+), 69 deletions(-) Deleted: PKGBUILD === --- PKGBUILD2018-12-21 18:58:47 UTC (rev 417448) +++ PKGBUILD2018-12-21 18:59:06 UTC (rev 417449) @@ -1,69 +0,0 @@ -# Maintainer: Felix Yan -# Maintainer: Levente Polyak -# Contributor: rudy.matela - -pkgbase=z3 -pkgname=('z3' 'python-z3' 'python2-z3') -pkgver=4.8.3 -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=('34a2dca0083ed469fdaf5ac062dda26248633245607ddd9ef90629c5f76ae30f87bfa4191c04ba9be7a617bf182a1bd00b59fd2274699e12ece69b86088c8044') - -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 - [ -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: Copied: z3/repos/community-x86_64/PKGBUILD (from rev 417448, z3/trunk/PKGBUILD) === --- PKGBUILD(rev 0) +++ PKGBUILD2018-12-21 18:59:06 UTC (rev 417449) @@ -0,0 +1,69 @@ +# Maintainer: Felix Yan +# Maintainer: Levente Polyak +# Contributor: rudy.matela + +pkgbase=z3 +pkgname=('z3' 'python-z3' 'python2-z3') +pkgver=4.8.4 +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=('4660ba6ab33a6345b2e8396c332d4afcfc73eda66ceb2595a39f152df4d62a9ea0f349b0f9212389ba84ecba6bdae6ad9b62b376ba44dc4d9c74f80d7a818bf4') + +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/${pkgna
[arch-commits] Commit in z3/repos/community-x86_64 (PKGBUILD PKGBUILD)
Date: Thursday, November 22, 2018 @ 21:36:49 Author: anthraxx Revision: 409370 archrelease: copy trunk to community-x86_64 Added: z3/repos/community-x86_64/PKGBUILD (from rev 409369, z3/trunk/PKGBUILD) Deleted: z3/repos/community-x86_64/PKGBUILD --+ PKGBUILD | 138 ++--- 1 file changed, 69 insertions(+), 69 deletions(-) Deleted: PKGBUILD === --- PKGBUILD2018-11-22 21:36:42 UTC (rev 409369) +++ PKGBUILD2018-11-22 21:36:49 UTC (rev 409370) @@ -1,69 +0,0 @@ -# Maintainer: Felix Yan -# Maintainer: Levente Polyak -# Contributor: rudy.matela - -pkgbase=z3 -pkgname=('z3' 'python-z3' 'python2-z3') -pkgver=4.8.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=('f3311d07f6375d3d294d9c495b0ce4022258dd95b1f6bec93bdf5a60d074c75fd13daf1da7b67753acb4084e33395088513dfd85fe5c2cf76913ba0107e5782b') - -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 - [ -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: Copied: z3/repos/community-x86_64/PKGBUILD (from rev 409369, z3/trunk/PKGBUILD) === --- PKGBUILD(rev 0) +++ PKGBUILD2018-11-22 21:36:49 UTC (rev 409370) @@ -0,0 +1,69 @@ +# Maintainer: Felix Yan +# Maintainer: Levente Polyak +# Contributor: rudy.matela + +pkgbase=z3 +pkgname=('z3' 'python-z3' 'python2-z3') +pkgver=4.8.3 +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=('34a2dca0083ed469fdaf5ac062dda26248633245607ddd9ef90629c5f76ae30f87bfa4191c04ba9be7a617bf182a1bd00b59fd2274699e12ece69b86088c8044') + +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/${pkgnam
[arch-commits] Commit in z3/repos/community-x86_64 (PKGBUILD PKGBUILD)
Date: Monday, October 1, 2018 @ 19:23:06 Author: anthraxx Revision: 388919 archrelease: copy trunk to community-x86_64 Added: z3/repos/community-x86_64/PKGBUILD (from rev 388918, z3/trunk/PKGBUILD) Deleted: z3/repos/community-x86_64/PKGBUILD --+ PKGBUILD | 137 ++--- 1 file changed, 69 insertions(+), 68 deletions(-) Deleted: PKGBUILD === --- PKGBUILD2018-10-01 19:22:58 UTC (rev 388918) +++ PKGBUILD2018-10-01 19:23:06 UTC (rev 388919) @@ -1,68 +0,0 @@ -# Maintainer: Felix Yan -# Maintainer: Levente Polyak -# Contributor: rudy.matela - -pkgbase=z3 -pkgname=('z3' 'python-z3' 'python2-z3') -pkgver=4.7.1 -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) -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: Copied: z3/repos/community-x86_64/PKGBUILD (from rev 388918, z3/trunk/PKGBUILD) === --- PKGBUILD(rev 0) +++ PKGBUILD2018-10-01 19:23:06 UTC (rev 388919) @@ -0,0 +1,69 @@ +# Maintainer: Felix Yan +# Maintainer: Levente Polyak +# Contributor: rudy.matela + +pkgbase=z3 +pkgname=('z3' 'python-z3' 'python2-z3') +pkgver=4.7.1 +pkgrel=3 +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
[arch-commits] Commit in z3/repos/community-x86_64 (PKGBUILD PKGBUILD)
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 === --- PKGBUILD2018-05-24 22:47:16 UTC (rev 329220) +++ PKGBUILD2018-05-24 22:47:24 UTC (rev 329221) @@ -1,71 +0,0 @@ -# Maintainer: Felix Yan -# Maintainer: Levente Polyak -# 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) +++ PKGBUILD2018-05-24 22:47:24 UTC (rev 329221) @@ -0,0 +1,68 @@ +# Maintainer: Felix Yan +# Maintainer: Levente Polyak +# 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 .
[arch-commits] Commit in z3/repos/community-x86_64 (PKGBUILD PKGBUILD)
Date: Thursday, May 10, 2018 @ 20:38:34 Author: anthraxx Revision: 320468 archrelease: copy trunk to community-x86_64 Added: z3/repos/community-x86_64/PKGBUILD (from rev 320467, z3/trunk/PKGBUILD) Deleted: z3/repos/community-x86_64/PKGBUILD --+ PKGBUILD | 100 +++-- 1 file changed, 71 insertions(+), 29 deletions(-) Deleted: PKGBUILD === --- PKGBUILD2018-05-10 20:38:25 UTC (rev 320467) +++ PKGBUILD2018-05-10 20:38:34 UTC (rev 320468) @@ -1,29 +0,0 @@ -# $Id$ -# Maintainer: Felix Yan -# Contributor: rudy.matela - -pkgname=z3 -pkgver=4.6.0 -pkgrel=1 -pkgdesc="A high-performance theorem prover" -arch=('x86_64') -url="https://github.com/Z3Prover/z3"; -license=('MIT') -depends=('gcc-libs') -makedepends=('python2') # 'java-environment-common' 'mono' 'ocaml' 'ocaml-findlib') -optdepends=('python2-setuptools: bindings for python2') -source=("https://github.com/Z3Prover/z3/archive/z3-$pkgver.tar.gz";) -sha512sums=('92a87292db17ceb4a90e45bce4f6237fe0437a7a5e147b4b63a2cb793e2d59fc04a6aa579ddb904280eac08b4a85c600df092d4c2fa99239199514b9c0363243') - -build() { - cd "$srcdir/$pkgname-$pkgname-$pkgver" - python2 scripts/mk_make.py --python # --dotnet --java --ml - cd build - make -} - -package() { - cd "$srcdir"/$pkgname-$pkgname-$pkgver/build - make install DESTDIR="$pkgdir" - install -Dm644 ../LICENSE.txt "$pkgdir"/usr/share/licenses/$pkgname/LICENSE -} Copied: z3/repos/community-x86_64/PKGBUILD (from rev 320467, z3/trunk/PKGBUILD) === --- PKGBUILD(rev 0) +++ PKGBUILD2018-05-10 20:38:34 UTC (rev 320468) @@ -0,0 +1,71 @@ +# Maintainer: Felix Yan +# Maintainer: Levente Polyak +# 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: