[arch-commits] Commit in z3/repos/community-x86_64 (PKGBUILD PKGBUILD)

[Felix Yan via arch-commits]

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)

[Felix Yan via arch-commits]

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)

[Felix Yan via arch-commits]

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)

[Felix Yan via arch-commits]

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)

[Felix Yan via arch-commits]

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)

[Levente Polyak via arch-commits]

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)

[Levente Polyak via arch-commits]

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)

[Felix Yan via arch-commits]

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)

[Felix Yan via arch-commits]

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 

[arch-commits] Commit in z3/repos/community-x86_64 (PKGBUILD PKGBUILD)

[Levente Polyak via arch-commits]

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 

[arch-commits] Commit in z3/repos/community-x86_64 (PKGBUILD PKGBUILD)

[Levente Polyak via arch-commits]

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 

[arch-commits] Commit in z3/repos/community-x86_64 (PKGBUILD PKGBUILD)

[Levente Polyak via arch-commits]

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 

[arch-commits] Commit in z3/repos/community-x86_64 (PKGBUILD PKGBUILD)

[Levente Polyak via arch-commits]

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: