archlinuxarm/PKGBUILDs
1
0
Fork 0
mirror of https://github.com/archlinuxarm/PKGBUILDs.git synced 2024-09-19 22:08:32 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

extra/z3 to 4.12.2-1

Browse source
This commit is contained in:
Kevin Mihelich 2023-08-31 12:40:18 +00:00
parent 21701d8db0
commit ccc91d0d2d
1 changed files with 9 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
extra/z3/PKGBUILD
View file

@ -7,9 +7,9 @@
pkgbase=z3 pkgbase=z3
pkgname=('z3' 'python-z3-solver') pkgname=('z3' 'python-z3-solver')
pkgver=4.12.1 pkgver=4.12.2
_commit=3012293c35eadbfd73e5b94adbe50b0cc44ffb83 _commit=e417f7d78509b2d0c9ebc911fee7632e6ef546b6
pkgrel=2 pkgrel=1
pkgdesc='High-performance theorem prover' pkgdesc='High-performance theorem prover'
url='https://github.com/Z3Prover/z3' url='https://github.com/Z3Prover/z3'
arch=('x86_64') arch=('x86_64')
@ -20,6 +20,12 @@ source=(git+https://github.com/Z3Prover/z3.git#commit=$_commit)
sha512sums=('SKIP') sha512sums=('SKIP')
b2sums=('SKIP') b2sums=('SKIP')
prepare() {
cd $pkgname
# Fix build with GCC 13
git cherry-pick -n c9d8e646ed505a9cd4c84b2cb31d846b8588109f
}
build() { build() {
cd z3 cd z3
cmake \ cmake \