cppcheck, z3.

programming/library/z3/actions.py

@@ -9,22 +9,21 @@ from pisi.actionsapi import cmaketools
 from pisi.actionsapi import pisitools
 from pisi.actionsapi import get
 
-j = "-DCMAKE_INSTALL_PREFIX=/usr \
-     -DCMAKE_INSTALL_LIBDIR=lib \
-     -DPYTHON_EXECUTABLE=/usr/bin/python3 \
-     -DZ3_USE_LIB_GMP=True \
-     -DZ3_LINK_TIME_OPTIMIZATION=True \
-     -DZ3_BUILD_LIBZ3_SHARED=True \
-     -DZ3_BUILD_PYTHON_BINDINGS=True \
-     -DZ3_INSTALL_PYTHON_BINDINGS=True \
-    "
+j = ''.join([
+    ' -DCMAKE_INSTALL_PREFIX=/usr',
+    ' -DCMAKE_INSTALL_LIBDIR=lib',
+    ' -DPYTHON_EXECUTABLE=/usr/bin/python3',
+    ' -DZ3_USE_LIB_GMP=True',
+    ' -DZ3_LINK_TIME_OPTIMIZATION=True',
+    ' -DZ3_BUILD_LIBZ3_SHARED=True',
+    ' -DZ3_BUILD_PYTHON_BINDINGS=True',
+    ' -DZ3_INSTALL_PYTHON_BINDINGS=True '
+    ])
 
 shelltools.export("PYTHON", "/usr/bin/python3")
 
 def setup():
-	shelltools.makedirs("build")
-	shelltools.cd("build")
-	cmaketools.configure("%s -G 'Ninja'" % j, sourceDir = '..')
+	cmaketools.configure("-Bbuild %s -G 'Ninja'" % j)
 
 def build():
 	shelltools.system("ninja -C build")

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="f4443c6beedb46e8a0785529b477b2f811901cc3" type="targz">
-			https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.8.12.tar.gz
+		<Archive sha1sum="376d377d1e1c4e0d7be112987a1b65ff6b21563c" type="targz">
+			https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.8.17.tar.gz
 		</Archive>
 		<BuildDependencies>
 			<Dependency>cmake</Dependency>
@@ -64,6 +64,13 @@
 	</Package>
 
 	<History>
+		<Update release="5">
+			<Date>2022-05-28</Date>
+			<Version>4.8.17</Version>
+			<Comment>Version bump.</Comment>
+			<Name>fury</Name>
+			<Email>uglyside@yandex.ru</Email>
+		</Update>
 		<Update release="4">
 			<Date>2021-10-11</Date>
 			<Version>4.8.12</Version>