Commit in z3/trunk (PKGBUILD)

[Felix Yan]

    Date: Saturday, February 4, 2023 @ 01:24:13
  Author: felixonmars
Revision: 1392292

upgpkg: z3 4.12.0-1

Modified:
  z3/trunk/PKGBUILD

----------+
 PKGBUILD |   25 +++++++++++++------------
 1 file changed, 13 insertions(+), 12 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD    2023-02-04 01:05:15 UTC (rev 1392291)
+++ PKGBUILD    2023-02-04 01:24:13 UTC (rev 1392292)
@@ -4,20 +4,21 @@
 
 pkgbase=z3
 pkgname=('z3' 'python-z3-solver')
-pkgver=4.11.2
+pkgver=4.12.0
+_commit=feda706d0dda2539176246dd221328122c66f77d
 pkgrel=1
 pkgdesc='High-performance theorem prover'
 url='https://github.com/Z3Prover/z3'
 arch=('x86_64')
 license=('MIT')
-makedepends=('glibc' 'cmake' 'ninja' 'python' 'python-setuptools' 'gcc-libs'
+makedepends=('git' 'glibc' 'cmake' 'ninja' 'python' 'python-setuptools' 
'gcc-libs'
              'python-build' 'python-installer' 'python-wheel')
-source=(https://github.com/Z3Prover/z3/archive/z3-$pkgver.tar.gz)
-sha512sums=('be2573d38c0e50b46fcb025d50335e016769fdeab3c26f5dc2a13102fae889d23039258ea8d38de3f53daa4cf073704d8639ac291e781a74633194adedaae21a')
-b2sums=('85fe5b94c5bfaeaca5b1dfe42fe9763a278c414955a9aed45abbb3e60c366a86bcdcd7c3bdcf27cc67bc10c76700069d548cb1e27ccf3286c8c6eccfa9d492d1')
+source=(git+https://github.com/Z3Prover/z3.git#commit=$_commit)
+sha512sums=('SKIP')
+b2sums=('SKIP')
 
 build() {
-  cd $pkgbase-z3-$pkgver
+  cd z3
   cmake \
     -Bbuild \
     -GNinja \
@@ -33,9 +34,9 @@
   depends=('glibc' 'gcc-libs')
   provides=('libz3' 'libz3.so')
 
-  cd $pkgbase-z3-$pkgver
-  DESTDIR="${pkgdir}" ninja -C build install
-  install -Dm 644 LICENSE.txt -t "$pkgdir"/usr/share/licenses/$pkgname
+  cd z3
+  DESTDIR="$pkgdir" ninja -C build install
+  install -Dm644 LICENSE.txt -t "$pkgdir"/usr/share/licenses/$pkgname
   rm -r "$pkgdir"/usr/lib/python*
 }
 
@@ -44,9 +45,9 @@
   replaces=('python-z3')
   conflicts=('python-z3')
 
-  cd $pkgbase-z3-$pkgver
-  DESTDIR="${pkgdir}" ninja -C build install
-  install -Dm 644 LICENSE.txt -t "$pkgdir"/usr/share/licenses/$pkgname
+  cd z3
+  DESTDIR="$pkgdir" ninja -C build install
+  install -Dm644 LICENSE.txt -t "$pkgdir"/usr/share/licenses/$pkgname
 
   cd "$pkgdir"
   rm -r usr/include usr/bin usr/lib/{cmake,pkgconfig,lib*}