From 49e2538f97ac7893e2c7b637f08b208e38b5e999 Mon Sep 17 00:00:00 2001
From: 4fury-c3440d8 <uglyside@yandex.ru>
Date: Sun, 29 Jan 2023 08:32:46 +0300
Subject: [PATCH] z3.

---
 programming/library/z3/actions.py | 18 +++++++-----------
 programming/library/z3/pspec.xml  | 13 ++++++++++---
 2 files changed, 17 insertions(+), 14 deletions(-)

diff --git a/programming/library/z3/actions.py b/programming/library/z3/actions.py
index 113400c087..ce9c22a31f 100644
--- a/programming/library/z3/actions.py
+++ b/programming/library/z3/actions.py
@@ -4,10 +4,7 @@
 # Licensed under the GNU General Public License, version 3.
 # See the file https://www.gnu.org/licenses/gpl-3.0.txt
 
-from pisi.actionsapi import shelltools
-from pisi.actionsapi import cmaketools
-from pisi.actionsapi import pisitools
-from pisi.actionsapi import get
+from pisi.actionsapi import cmaketools, mesontools,  pisitools
 
 j = ''.join([
     ' -DCMAKE_INSTALL_PREFIX=/usr',
@@ -17,19 +14,18 @@ j = ''.join([
     ' -DZ3_LINK_TIME_OPTIMIZATION=True',
     ' -DZ3_BUILD_LIBZ3_SHARED=True',
     ' -DZ3_BUILD_PYTHON_BINDINGS=True',
-    ' -DZ3_INSTALL_PYTHON_BINDINGS=True '
+    ' -DZ3_INSTALL_PYTHON_BINDINGS=True',
+    ' PYTHON=/usr/bin/python3',
+    ' -B_build -G Ninja -L '
     ])
 
-shelltools.export("PYTHON", "/usr/bin/python3")
-
 def setup():
-	cmaketools.configure("-Bbuild %s -G 'Ninja'" % j)
+	cmaketools.configure(j)
 
 def build():
-	shelltools.system("ninja -C build")
+	mesontools.build("-C _build")
 
 def install():
-	shelltools.system("DESTDIR=%s ninja -C build install" % get.installDIR())
+	mesontools.install("-C _build")
 
 	pisitools.dodoc("RELEASE_NOTES.md")
-
diff --git a/programming/library/z3/pspec.xml b/programming/library/z3/pspec.xml
index 2321c9f2d8..9526ad0786 100644
--- a/programming/library/z3/pspec.xml
+++ b/programming/library/z3/pspec.xml
@@ -13,8 +13,8 @@
 		<PartOf>programming.library</PartOf>
 		<Summary>The Z3 Theorem Prover.</Summary>
 		<Description>Z3 is a theorem prover from Microsoft Research.</Description>
-		<Archive sha1sum="e70730f338cd392d26136b03e92385b37f3447ec" type="targz">
-			https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.11.2.tar.gz
+		<Archive sha1sum="98377064e474567d37400a636dfc80602c4cad3d" type="targz">
+			https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.12.1.tar.gz
 		</Archive>
 		<BuildDependencies>
 			<Dependency>cmake</Dependency>
@@ -24,7 +24,7 @@
 			<Dependency>python3-setuptools</Dependency>
 		</BuildDependencies>
 		<Patches>
-			<Patch level="1">616fc2cbd5522137b78097c247feb04e266ff780.patch</Patch>
+			<!-- <Patch level="1">missing.patch</Patch> -->
 		</Patches>
 	</Source>
 
@@ -67,6 +67,13 @@
 	</Package>
 
 	<History>
+		<Update release="7">
+			<Date>2023-01-28</Date>
+			<Version>4.12.1</Version>
+			<Comment>Version bump.</Comment>
+			<Name>fury</Name>
+			<Email>uglyside@yandex.ru</Email>
+		</Update>
 		<Update release="6">
 			<Date>2022-09-05</Date>
 			<Version>4.11.2</Version>