From 58ce5412e648ae263e8208d69dc6d91d157f455e Mon Sep 17 00:00:00 2001 From: Kevin Mihelich <kevin@archlinuxarm.org> Date: Wed, 5 Jun 2019 23:58:46 +0000 Subject: [PATCH] community/z3 to 4.8.5-1 --- community/z3/PKGBUILD | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/community/z3/PKGBUILD b/community/z3/PKGBUILD index c1600639d..8df1d50fb 100644 --- a/community/z3/PKGBUILD +++ b/community/z3/PKGBUILD @@ -7,27 +7,27 @@ 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') 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 +source=(https://github.com/Z3Prover/z3/archive/Z3-${pkgver}.tar.gz z3-no-sse.patch) -sha512sums=('4660ba6ab33a6345b2e8396c332d4afcfc73eda66ceb2595a39f152df4d62a9ea0f349b0f9212389ba84ecba6bdae6ad9b62b376ba44dc4d9c74f80d7a818bf4' +sha512sums=('ca36e1a0332bd473a64f41dfdb31656fb3486178473e4fd4934dccce109a84c9686c08f94998df74bacb588eb12ea5db25dc17a564ee76f82fd2559349697309' '90dc75045745c59456327a92b6b6b90547f7a6f130720bb683cc5f6c3ea46fcef271e74d2d319c05515af48061414d2eca3c7d6b4e36451547e07f30e8ece132') prepare() { - cd ${pkgbase}-${pkgbase}-${pkgver} + cd ${pkgbase}-Z3-${pkgver} mkdir -p build patch -p0 -i ../z3-no-sse.patch } build() { - cd ${pkgbase}-${pkgbase}-${pkgver}/build + cd ${pkgbase}-Z3-${pkgver}/build cmake .. \ -DCMAKE_BUILD_TYPE=Release \ -DCMAKE_INSTALL_PREFIX=/usr \ @@ -41,7 +41,7 @@ build() { 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* @@ -49,7 +49,7 @@ package_z3() { 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}"