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}"