extra/z3 to 4.12.4-1

extra/z3/.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

extra/z3/PKGBUILD

@@ -7,8 +7,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'
@@ -20,14 +20,13 @@ 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
+
+  # /usr/bin/z3 uses malloc_usable_size, which is incompatible with fortification level 3
+  export CFLAGS="${CFLAGS/_FORTIFY_SOURCE=3/_FORTIFY_SOURCE=2}"
+  export CXXFLAGS="${CXXFLAGS/_FORTIFY_SOURCE=3/_FORTIFY_SOURCE=2}"
+
   cmake \
     -Bbuild \
     -GNinja \