[arch-commits] Commit in z3/trunk (PKGBUILD)

2020-11-12 Thread Felix Yan via arch-commits 
Date: Thursday, November 12, 2020 @ 17:59:09
  Author: felixonmars
Revision: 752896

upgpkg: z3 4.8.9-4: Python 3.9 rebuild

Modified:
  z3/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-11-12 17:59:07 UTC (rev 752895)
+++ PKGBUILD2020-11-12 17:59:09 UTC (rev 752896)
@@ -5,7 +5,7 @@
 pkgbase=z3
 pkgname=('z3' 'python-z3')
 pkgver=4.8.9
-pkgrel=3
+pkgrel=4
 pkgdesc='High-performance theorem prover'
 url='https://github.com/Z3Prover/z3'
 arch=('x86_64')

[arch-commits] Commit in z3/trunk (PKGBUILD)

2020-09-12 Thread Felix Yan via arch-commits 
Date: Saturday, September 12, 2020 @ 09:00:33
  Author: felixonmars
Revision: 703320

upgpkg: z3 4.8.9-2: fix file conflict

Modified:
  z3/trunk/PKGBUILD

--+
 PKGBUILD |4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-09-12 09:00:32 UTC (rev 703319)
+++ PKGBUILD2020-09-12 09:00:33 UTC (rev 703320)
@@ -5,7 +5,7 @@
 pkgbase=z3
 pkgname=('z3' 'python-z3')
 pkgver=4.8.9
-pkgrel=1
+pkgrel=2
 pkgdesc='High-performance theorem prover'
 url='https://github.com/Z3Prover/z3'
 arch=('x86_64')
@@ -47,7 +47,7 @@
   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*
+  rm -r usr/include usr/bin usr/lib/{cmake,pkgconfig,lib*}
   python -m compileall .
   python -O -m compileall .
 }

[arch-commits] Commit in z3/trunk (PKGBUILD)

2020-09-11 Thread Felix Yan via arch-commits 
Date: Friday, September 11, 2020 @ 23:48:21
  Author: felixonmars
Revision: 702935

upgpkg: z3 4.8.9-1

Modified:
  z3/trunk/PKGBUILD

--+
 PKGBUILD |6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-09-11 23:48:13 UTC (rev 702934)
+++ PKGBUILD2020-09-11 23:48:21 UTC (rev 702935)
@@ -4,8 +4,8 @@
 
 pkgbase=z3
 pkgname=('z3' 'python-z3')
-pkgver=4.8.8
-pkgrel=2
+pkgver=4.8.9
+pkgrel=1
 pkgdesc='High-performance theorem prover'
 url='https://github.com/Z3Prover/z3'
 arch=('x86_64')
@@ -13,7 +13,7 @@
  # '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')
+sha512sums=('a50da5c3f9e27d3e804c1b71f648a3dbd5a55223b7344d66f191a1b34a4d787810abd976840d3ab3878aaf5c96d89f5a517cac0781b82aa927a9d8d54836d54f')
 
 prepare() {
   cd ${pkgbase}-z3-${pkgver}

[arch-commits] Commit in z3/trunk (PKGBUILD)

2020-09-07 Thread Felix Yan via arch-commits 
Date: Monday, September 7, 2020 @ 20:57:02
  Author: felixonmars
Revision: 700362

upgpkg: z3 4.8.8-2: disable gmp (FS#64460)

Modified:
  z3/trunk/PKGBUILD

--+
 PKGBUILD |   11 +--
 1 file changed, 5 insertions(+), 6 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-09-07 20:57:00 UTC (rev 700361)
+++ PKGBUILD2020-09-07 20:57:02 UTC (rev 700362)
@@ -5,13 +5,13 @@
 pkgbase=z3
 pkgname=('z3' 'python-z3')
 pkgver=4.8.8
-pkgrel=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' 'python' 'python-setuptools' 'gcc-libs' 'gmp')
+makedepends=('cmake' 'python' 'python-setuptools' 'gcc-libs')
 source=(https://github.com/Z3Prover/z3/archive/z3-${pkgver}.tar.gz)
 
sha512sums=('a6823cadb7cdad11b8f0db1530676c0ec4853886dfb3c4dbc5b798c5dbd445afb0c61675f81cb7f99c1b1734d9cd0ec96a07c68a948da3c25801fc6767fea47f')
 
@@ -28,13 +28,12 @@
 -DCMAKE_INSTALL_LIBDIR=lib \
 -DZ3_LINK_TIME_OPTIMIZATION=1 \
 -DZ3_BUILD_PYTHON_BINDINGS=1 \
--DPYTHON_EXECUTABLE=/usr/bin/python \
--DZ3_USE_LIB_GMP=1
+-DPYTHON_EXECUTABLE=/usr/bin/python
   make
 }
 
 package_z3() {
-  depends=('gcc-libs' 'gmp')
+  depends=('gcc-libs')
   provides=('libz3' 'libz3.so')
   cd ${pkgbase}-z3-${pkgver}/build
   make DESTDIR="${pkgdir}" install
@@ -43,7 +42,7 @@
 }
 
 package_python-z3() {
-  depends=('python' 'libz3')
+  depends=('python' 'z3')
   cd ${pkgbase}-z3-${pkgver}/build
   make DESTDIR="${pkgdir}" install
   install -Dm 644 ../LICENSE.txt -t "${pkgdir}/usr/share/licenses/${pkgname}"

[arch-commits] Commit in z3/trunk (PKGBUILD)

2020-05-10 Thread Felix Yan via arch-commits 
Date: Sunday, May 10, 2020 @ 20:48:23
  Author: felixonmars
Revision: 626223

upgpkg: z3 4.8.8-1

Modified:
  z3/trunk/PKGBUILD

--+
 PKGBUILD |4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-05-10 20:45:05 UTC (rev 626222)
+++ PKGBUILD2020-05-10 20:48:23 UTC (rev 626223)
@@ -4,7 +4,7 @@
 
 pkgbase=z3
 pkgname=('z3' 'python-z3')
-pkgver=4.8.7
+pkgver=4.8.8
 pkgrel=1
 pkgdesc='High-performance theorem prover'
 url='https://github.com/Z3Prover/z3'
@@ -13,7 +13,7 @@
  # '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')
+sha512sums=('a6823cadb7cdad11b8f0db1530676c0ec4853886dfb3c4dbc5b798c5dbd445afb0c61675f81cb7f99c1b1734d9cd0ec96a07c68a948da3c25801fc6767fea47f')
 
 prepare() {
   cd ${pkgbase}-z3-${pkgver}

[arch-commits] Commit in z3/trunk (PKGBUILD)

2019-11-22 Thread Felix Yan via arch-commits 
Date: Friday, November 22, 2019 @ 15:46:00
  Author: felixonmars
Revision: 531961

upgpkg: z3 4.8.7-1

Modified:
  z3/trunk/PKGBUILD

--+
 PKGBUILD |   11 ++-
 1 file changed, 6 insertions(+), 5 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2019-11-22 15:32:33 UTC (rev 531960)
+++ PKGBUILD2019-11-22 15:46:00 UTC (rev 531961)
@@ -4,8 +4,8 @@
 
 pkgbase=z3
 pkgname=('z3' 'python-z3')
-pkgver=4.8.6
-pkgrel=2
+pkgver=4.8.7
+pkgrel=1
 pkgdesc='High-performance theorem prover'
 url='https://github.com/Z3Prover/z3'
 arch=('x86_64')
@@ -13,7 +13,7 @@
  # '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')
+sha512sums=('145e2b2f1fa4edd0917107c7e1d54d779c7ed85c48af2ce6def4c90d1c4db05f74c9657e173cedf48770589fbe484c97fa1923295271cd3792523ffc4f67ed0c')
 
 prepare() {
   cd ${pkgbase}-z3-${pkgver}
@@ -26,9 +26,10 @@
 -DCMAKE_BUILD_TYPE=Release \
 -DCMAKE_INSTALL_PREFIX=/usr \
 -DCMAKE_INSTALL_LIBDIR=lib \
--DBUILD_PYTHON_BINDINGS=1 \
+-DZ3_LINK_TIME_OPTIMIZATION=1 \
+-DZ3_BUILD_PYTHON_BINDINGS=1 \
 -DPYTHON_EXECUTABLE=/usr/bin/python \
--DUSE_LIB_GMP=1
+-DZ3_USE_LIB_GMP=1
   make
 }

[arch-commits] Commit in z3/trunk (PKGBUILD)

2019-11-03 Thread Felix Yan via arch-commits 
Date: Monday, November 4, 2019 @ 07:40:18
  Author: felixonmars
Revision: 523535

Python 3.8 rebuild

Modified:
  z3/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2019-11-04 07:39:55 UTC (rev 523534)
+++ PKGBUILD2019-11-04 07:40:18 UTC (rev 523535)
@@ -5,7 +5,7 @@
 pkgbase=z3
 pkgname=('z3' 'python-z3')
 pkgver=4.8.6
-pkgrel=1
+pkgrel=2
 pkgdesc='High-performance theorem prover'
 url='https://github.com/Z3Prover/z3'
 arch=('x86_64')

[arch-commits] Commit in z3/trunk (PKGBUILD)

2019-09-29 Thread Levente Polyak via arch-commits 
Date: Sunday, September 29, 2019 @ 19:44:19
  Author: anthraxx
Revision: 512119

upgpkg: z3 4.8.6-1

Modified:
  z3/trunk/PKGBUILD

--+
 PKGBUILD |   14 +++---
 1 file changed, 7 insertions(+), 7 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2019-09-29 19:43:20 UTC (rev 512118)
+++ PKGBUILD2019-09-29 19:44:19 UTC (rev 512119)
@@ -4,7 +4,7 @@
 
 pkgbase=z3
 pkgname=('z3' 'python-z3')
-pkgver=4.8.5
+pkgver=4.8.6
 pkgrel=1
 pkgdesc='High-performance theorem prover'
 url='https://github.com/Z3Prover/z3'
@@ -12,16 +12,16 @@
 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')
+source=(https://github.com/Z3Prover/z3/archive/z3-${pkgver}.tar.gz)
+sha512sums=('d338413274a3d11a9e9287202989df9da4c31e095c14428a418d4019e9f86c0e2b681c519d2d0bcbb4cd99a722a2539006f5c86ade568b1ee208545b142369f1')
 
 prepare() {
-  cd ${pkgbase}-Z3-${pkgver}
+  cd ${pkgbase}-z3-${pkgver}
   mkdir -p build
 }
 
 build() {
-  cd ${pkgbase}-Z3-${pkgver}/build
+  cd ${pkgbase}-z3-${pkgver}/build
   cmake .. \
 -DCMAKE_BUILD_TYPE=Release \
 -DCMAKE_INSTALL_PREFIX=/usr \
@@ -35,7 +35,7 @@
 package_z3() {
   depends=('gcc-libs' 'gmp')
   provides=('libz3' 'libz3.so')
-  cd ${pkgbase}-Z3-${pkgver}/build
+  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*
@@ -43,7 +43,7 @@
 
 package_python-z3() {
   depends=('python' 'libz3')
-  cd ${pkgbase}-Z3-${pkgver}/build
+  cd ${pkgbase}-z3-${pkgver}/build
   make DESTDIR="${pkgdir}" install
   install -Dm 644 ../LICENSE.txt -t "${pkgdir}/usr/share/licenses/${pkgname}"
   cd "${pkgdir}"

[arch-commits] Commit in z3/trunk (PKGBUILD)

2019-06-05 Thread Levente Polyak via arch-commits 
Date: Wednesday, June 5, 2019 @ 22:58:29
  Author: anthraxx
Revision: 477382

upgpkg: z3 4.8.5-1

Modified:
  z3/trunk/PKGBUILD

--+
 PKGBUILD |   16 
 1 file changed, 8 insertions(+), 8 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2019-06-05 22:36:14 UTC (rev 477381)
+++ PKGBUILD2019-06-05 22:58:29 UTC (rev 477382)
@@ -4,8 +4,8 @@
 
 pkgbase=z3
 pkgname=('z3' 'python-z3')
-pkgver=4.8.4
-pkgrel=2
+pkgver=4.8.5
+pkgrel=1
 pkgdesc='High-performance theorem prover'
 url='https://github.com/Z3Prover/z3'
 arch=('x86_64')
@@ -12,16 +12,16 @@
 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')
+source=(https://github.com/Z3Prover/z3/archive/Z3-${pkgver}.tar.gz)
+sha512sums=('ca36e1a0332bd473a64f41dfdb31656fb3486178473e4fd4934dccce109a84c9686c08f94998df74bacb588eb12ea5db25dc17a564ee76f82fd2559349697309')
 
 prepare() {
-  cd ${pkgbase}-${pkgbase}-${pkgver}
+  cd ${pkgbase}-Z3-${pkgver}
   mkdir -p build
 }
 
 build() {
-  cd ${pkgbase}-${pkgbase}-${pkgver}/build
+  cd ${pkgbase}-Z3-${pkgver}/build
   cmake .. \
 -DCMAKE_BUILD_TYPE=Release \
 -DCMAKE_INSTALL_PREFIX=/usr \
@@ -35,7 +35,7 @@
 package_z3() {
   depends=('gcc-libs' 'gmp')
   provides=('libz3' 'libz3.so')
-  cd ${pkgbase}-${pkgbase}-${pkgver}/build
+  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*
@@ -43,7 +43,7 @@
 
 package_python-z3() {
   depends=('python' 'libz3')
-  cd ${pkgbase}-${pkgbase}-${pkgver}/build
+  cd ${pkgbase}-Z3-${pkgver}/build
   make DESTDIR="${pkgdir}" install
   install -Dm 644 ../LICENSE.txt -t "${pkgdir}/usr/share/licenses/${pkgname}"
   cd "${pkgdir}"

[arch-commits] Commit in z3/trunk (PKGBUILD)

2019-03-19 Thread Felix Yan via arch-commits 
Date: Tuesday, March 19, 2019 @ 17:14:47
  Author: felixonmars
Revision: 442773

upgpkg: z3 4.8.4-2

remove python2 sibling

Modified:
  z3/trunk/PKGBUILD

--+
 PKGBUILD |   20 +++-
 1 file changed, 3 insertions(+), 17 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2019-03-19 17:12:16 UTC (rev 442772)
+++ PKGBUILD2019-03-19 17:14:47 UTC (rev 442773)
@@ -3,16 +3,15 @@
 # Contributor: rudy.matela
 
 pkgbase=z3
-pkgname=('z3' 'python-z3' 'python2-z3')
+pkgname=('z3' 'python-z3')
 pkgver=4.8.4
-pkgrel=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')
+makedepends=('cmake' 'python' 'python-setuptools' 'gcc-libs' 'gmp')
 source=(https://github.com/Z3Prover/z3/archive/${pkgbase}-${pkgver}.tar.gz)
 
sha512sums=('4660ba6ab33a6345b2e8396c332d4afcfc73eda66ceb2595a39f152df4d62a9ea0f349b0f9212389ba84ecba6bdae6ad9b62b376ba44dc4d9c74f80d7a818bf4')
 
@@ -53,17 +52,4 @@
   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:

[arch-commits] Commit in z3/trunk (PKGBUILD)

2018-12-21 Thread Felix Yan via arch-commits 
Date: Friday, December 21, 2018 @ 18:58:47
  Author: felixonmars
Revision: 417448

upgpkg: z3 4.8.4-1

Modified:
  z3/trunk/PKGBUILD

--+
 PKGBUILD |4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2018-12-21 18:08:46 UTC (rev 417447)
+++ PKGBUILD2018-12-21 18:58:47 UTC (rev 417448)
@@ -4,7 +4,7 @@
 
 pkgbase=z3
 pkgname=('z3' 'python-z3' 'python2-z3')
-pkgver=4.8.3
+pkgver=4.8.4
 pkgrel=1
 pkgdesc='High-performance theorem prover'
 url='https://github.com/Z3Prover/z3'
@@ -14,7 +14,7 @@
 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')
+sha512sums=('4660ba6ab33a6345b2e8396c332d4afcfc73eda66ceb2595a39f152df4d62a9ea0f349b0f9212389ba84ecba6bdae6ad9b62b376ba44dc4d9c74f80d7a818bf4')
 
 prepare() {
   cd ${pkgbase}-${pkgbase}-${pkgver}

[arch-commits] Commit in z3/trunk (PKGBUILD)

2018-11-22 Thread Levente Polyak via arch-commits 
Date: Thursday, November 22, 2018 @ 21:36:42
  Author: anthraxx
Revision: 409369

upgpkg: z3 4.8.3-1

Modified:
  z3/trunk/PKGBUILD

--+
 PKGBUILD |4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2018-11-22 21:20:10 UTC (rev 409368)
+++ PKGBUILD2018-11-22 21:36:42 UTC (rev 409369)
@@ -4,7 +4,7 @@
 
 pkgbase=z3
 pkgname=('z3' 'python-z3' 'python2-z3')
-pkgver=4.8.1
+pkgver=4.8.3
 pkgrel=1
 pkgdesc='High-performance theorem prover'
 url='https://github.com/Z3Prover/z3'
@@ -14,7 +14,7 @@
 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')
+sha512sums=('34a2dca0083ed469fdaf5ac062dda26248633245607ddd9ef90629c5f76ae30f87bfa4191c04ba9be7a617bf182a1bd00b59fd2274699e12ece69b86088c8044')
 
 prepare() {
   cd ${pkgbase}-${pkgbase}-${pkgver}

[arch-commits] Commit in z3/trunk (PKGBUILD)

2018-10-31 Thread Felix Yan via arch-commits 
Date: Wednesday, October 31, 2018 @ 10:00:36
  Author: felixonmars
Revision: 399921

upgpkg: z3 4.8.1-1

Modified:
  z3/trunk/PKGBUILD

--+
 PKGBUILD |6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2018-10-31 10:00:28 UTC (rev 399920)
+++ PKGBUILD2018-10-31 10:00:36 UTC (rev 399921)
@@ -4,8 +4,8 @@
 
 pkgbase=z3
 pkgname=('z3' 'python-z3' 'python2-z3')
-pkgver=4.7.1
-pkgrel=3
+pkgver=4.8.1
+pkgrel=1
 pkgdesc='High-performance theorem prover'
 url='https://github.com/Z3Prover/z3'
 arch=('x86_64')
@@ -14,7 +14,7 @@
 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')
+sha512sums=('f3311d07f6375d3d294d9c495b0ce4022258dd95b1f6bec93bdf5a60d074c75fd13daf1da7b67753acb4084e33395088513dfd85fe5c2cf76913ba0107e5782b')
 
 prepare() {
   cd ${pkgbase}-${pkgbase}-${pkgver}

[arch-commits] Commit in z3/trunk (PKGBUILD)

2018-10-01 Thread Levente Polyak via arch-commits 
Date: Monday, October 1, 2018 @ 19:22:58
  Author: anthraxx
Revision: 388918

upgpkg: z3 4.7.1-3 (reproducible builds fix)

Modified:
  z3/trunk/PKGBUILD

--+
 PKGBUILD |3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2018-10-01 18:52:05 UTC (rev 388917)
+++ PKGBUILD2018-10-01 19:22:58 UTC (rev 388918)
@@ -5,7 +5,7 @@
 pkgbase=z3
 pkgname=('z3' 'python-z3' 'python2-z3')
 pkgver=4.7.1
-pkgrel=2
+pkgrel=3
 pkgdesc='High-performance theorem prover'
 url='https://github.com/Z3Prover/z3'
 arch=('x86_64')
@@ -61,6 +61,7 @@
   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 .
 }

[arch-commits] Commit in z3/trunk (PKGBUILD)

2018-07-08 Thread Felix Yan via arch-commits 
Date: Sunday, July 8, 2018 @ 11:58:34
  Author: felixonmars
Revision: 354766

Python 3.7 rebuild

Modified:
  z3/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2018-07-08 11:53:53 UTC (rev 354765)
+++ PKGBUILD2018-07-08 11:58:34 UTC (rev 354766)
@@ -5,7 +5,7 @@
 pkgbase=z3
 pkgname=('z3' 'python-z3' 'python2-z3')
 pkgver=4.7.1
-pkgrel=1
+pkgrel=2
 pkgdesc='High-performance theorem prover'
 url='https://github.com/Z3Prover/z3'
 arch=('x86_64')

[arch-commits] Commit in z3/trunk (PKGBUILD)

2018-05-24 Thread Levente Polyak via arch-commits 
Date: Thursday, May 24, 2018 @ 22:47:16
  Author: anthraxx
Revision: 329220

upgpkg: z3 4.7.1-1

Modified:
  z3/trunk/PKGBUILD

--+
 PKGBUILD |   11 ---
 1 file changed, 4 insertions(+), 7 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2018-05-24 22:38:51 UTC (rev 329219)
+++ PKGBUILD2018-05-24 22:47:16 UTC (rev 329220)
@@ -4,8 +4,8 @@
 
 pkgbase=z3
 pkgname=('z3' 'python-z3' 'python2-z3')
-pkgver=4.6.0
-pkgrel=2
+pkgver=4.7.1
+pkgrel=1
 pkgdesc='High-performance theorem prover'
 url='https://github.com/Z3Prover/z3'
 arch=('x86_64')
@@ -13,14 +13,11 @@
  # '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')
+source=(https://github.com/Z3Prover/z3/archive/${pkgbase}-${pkgver}.tar.gz)
+sha512sums=('4c8c856691134298c4b5e465d6fadfe446532dfcd8c92aed7c9a6bbfc8557074a45cd7316dbfa5045824e2504db159afeb8ff676d4bfc942496623cf31d11aa0')
 
 prepare() {
   cd ${pkgbase}-${pkgbase}-${pkgver}
-  patch -Np1 < ../z3-${pkgver}-gcc8.patch
   mkdir -p build
 }

[arch-commits] Commit in z3/trunk (PKGBUILD)

2018-05-10 Thread Levente Polyak via arch-commits 
Date: Thursday, May 10, 2018 @ 20:38:25
  Author: anthraxx
Revision: 320467

upgpkg: z3 4.6.0-2 (split python package)

FS#57101
FS#55622

Modified:
  z3/trunk/PKGBUILD

--+
 PKGBUILD |   74 +++--
 1 file changed, 58 insertions(+), 16 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2018-05-10 20:33:57 UTC (rev 320466)
+++ PKGBUILD2018-05-10 20:38:25 UTC (rev 320467)
@@ -1,29 +1,71 @@
-# $Id$
 # Maintainer: Felix Yan 
+# Maintainer: Levente Polyak 
 # Contributor: rudy.matela
 
-pkgname=z3
+pkgbase=z3
+pkgname=('z3' 'python-z3' 'python2-z3')
 pkgver=4.6.0
-pkgrel=1
-pkgdesc="A high-performance theorem prover"
+pkgrel=2
+pkgdesc='High-performance theorem prover'
+url='https://github.com/Z3Prover/z3'
 arch=('x86_64')
-url="https://github.com/Z3Prover/z3;
 license=('MIT')
-depends=('gcc-libs')
-makedepends=('python2') # 'java-environment-common' 'mono' 'ocaml' 
'ocaml-findlib')
+ # 'java-environment-common' 'mono' 'ocaml' 'ocaml-findlib'
+makedepends=('cmake' 'python2' 'python2-setuptools' 'python' 
'python-setuptools' 'gcc-libs' 'gmp')
 optdepends=('python2-setuptools: bindings for python2')
-source=("https://github.com/Z3Prover/z3/archive/z3-$pkgver.tar.gz;)
-sha512sums=('92a87292db17ceb4a90e45bce4f6237fe0437a7a5e147b4b63a2cb793e2d59fc04a6aa579ddb904280eac08b4a85c600df092d4c2fa99239199514b9c0363243')
+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 "$srcdir/$pkgname-$pkgname-$pkgver"
-  python2 scripts/mk_make.py --python # --dotnet --java --ml
-  cd 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() {
-  cd "$srcdir"/$pkgname-$pkgname-$pkgver/build
-  make install DESTDIR="$pkgdir"
-  install -Dm644 ../LICENSE.txt "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
+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:

[arch-commits] Commit in z3/trunk (PKGBUILD)

2017-12-24 Thread Felix Yan via arch-commits 
Date: Sunday, December 24, 2017 @ 08:37:59
  Author: felixonmars
Revision: 275686

upgpkg: z3 4.6.0-1

Modified:
  z3/trunk/PKGBUILD

--+
 PKGBUILD |6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2017-12-24 07:22:54 UTC (rev 275685)
+++ PKGBUILD2017-12-24 08:37:59 UTC (rev 275686)
@@ -3,8 +3,8 @@
 # Contributor: rudy.matela
 
 pkgname=z3
-pkgver=4.5.0
-pkgrel=4
+pkgver=4.6.0
+pkgrel=1
 pkgdesc="A high-performance theorem prover"
 arch=('x86_64')
 url="https://github.com/Z3Prover/z3;
@@ -13,7 +13,7 @@
 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;)
-sha256sums=('aeae1d239c5e06ac183be7dd853775b84698db1265cb2258e5918a28372d4a0c')
+sha512sums=('92a87292db17ceb4a90e45bce4f6237fe0437a7a5e147b4b63a2cb793e2d59fc04a6aa579ddb904280eac08b4a85c600df092d4c2fa99239199514b9c0363243')
 
 build() {
   cd "$srcdir/$pkgname-$pkgname-$pkgver"