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

Levente Polyak anthraxx at archlinux.org
Sun Sep 29 19:44:20 UTC 2019


    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
===================================================================
--- PKGBUILD	2019-09-29 19:43:20 UTC (rev 512118)
+++ PKGBUILD	2019-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}"


More information about the arch-commits mailing list