community/z3 to 4.8.5-1

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