Antonio Rojas pushed to branch main at Arch Linux / Packaging / Packages / z3
Commits: 5d2847a3 by Antonio Rojas at 2023-12-24T10:14:39+01:00 upgpkg: 4.12.4-1: Update to 4.12.4 - - - - - 2 changed files: - + .SRCINFO - PKGBUILD Changes: ===================================== .SRCINFO ===================================== @@ -0,0 +1,33 @@ +pkgbase = z3 + pkgdesc = High-performance theorem prover + pkgver = 4.12.4 + pkgrel = 1 + url = https://github.com/Z3Prover/z3 + arch = x86_64 + license = MIT + makedepends = git + makedepends = glibc + makedepends = cmake + makedepends = ninja + makedepends = python + makedepends = python-setuptools + makedepends = gcc-libs + makedepends = python-build + makedepends = python-installer + makedepends = python-wheel + source = git+https://github.com/Z3Prover/z3.git#commit=dce2f3d88ff7b8671bd5d843f4f3f353e7089a45 + sha512sums = SKIP + b2sums = SKIP + +pkgname = z3 + depends = glibc + depends = gcc-libs + provides = libz3 + provides = libz3.so + +pkgname = python-z3-solver + depends = python + depends = python-setuptools + depends = z3 + conflicts = python-z3 + replaces = python-z3 ===================================== PKGBUILD ===================================== @@ -4,8 +4,8 @@ pkgbase=z3 pkgname=('z3' 'python-z3-solver') -pkgver=4.12.2 -_commit=e417f7d78509b2d0c9ebc911fee7632e6ef546b6 +pkgver=4.12.4 +_commit=dce2f3d88ff7b8671bd5d843f4f3f353e7089a45 pkgrel=1 pkgdesc='High-performance theorem prover' url='https://github.com/Z3Prover/z3' @@ -17,12 +17,6 @@ source=(git+https://github.com/Z3Prover/z3.git#commit=$_commit) sha512sums=('SKIP') b2sums=('SKIP') -prepare() { - cd $pkgname -# Fix build with GCC 13 - git cherry-pick -n c9d8e646ed505a9cd4c84b2cb31d846b8588109f -} - build() { cd z3 View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/z3/-/commit/5d2847a314da9eee85dbb45a508bf3169cc7a19e -- View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/z3/-/commit/5d2847a314da9eee85dbb45a508bf3169cc7a19e You're receiving this email because of your account on gitlab.archlinux.org.
