diff --git a/programming/library/z3/actions.py b/programming/library/z3/actions.py
index 47f8bb58ed..9598d2adf5 100644
--- a/programming/library/z3/actions.py
+++ b/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")
diff --git a/programming/library/z3/pspec.xml b/programming/library/z3/pspec.xml
index 31f0a9bab8..440577f900 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="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>
diff --git a/programming/tool/cppcheck/actions.py b/programming/tool/cppcheck/actions.py
index 61367e9d7a..e33992197e 100644
--- a/programming/tool/cppcheck/actions.py
+++ b/programming/tool/cppcheck/actions.py
@@ -11,6 +11,7 @@ from pisi.actionsapi import get
 
 j = ''.join([
     ' -DUSE_Z3=ON',
+    ' -DUSE_THREADS=ON',
     ' -DHAVE_RULES=ON',
     ' -DPYTHON_EXECUTABLE=/usr/bin/python3',
     ' -DBUILD_GUI=ON',
diff --git a/programming/tool/cppcheck/pspec.xml b/programming/tool/cppcheck/pspec.xml
index e2075e13f2..4ab55ecc29 100644
--- a/programming/tool/cppcheck/pspec.xml
+++ b/programming/tool/cppcheck/pspec.xml
@@ -16,8 +16,8 @@
 		<Description>
 			Cppcheck is a static analysis tool for C/C++ code. It provides unique code analysis to detect bugs and focuses on detecting undefined behaviour and dangerous coding constructs. The goal is to detect only real errors in the code (i.e. have very few false positives).
 		</Description>
-		<Archive sha1sum="2a038875ada9879f6b2eb26d65759266b04cb522" type="tarbz2">
-			mirrors://sourceforge/cppcheck/cppcheck-2.7.tar.bz2
+		<Archive sha1sum="01848d6170812f3993cb35c015c1146b03e5ede2" type="tarbz2">
+			mirrors://sourceforge/cppcheck/cppcheck-2.8.tar.bz2
 		</Archive>
 		<BuildDependencies>
 			<Dependency>cmake</Dependency>
@@ -68,6 +68,13 @@
 	</Package>
 
 	<History>
+		<Update release="10">
+			<Date>2022-05-28</Date>
+			<Version>2.8</Version>
+			<Comment>Ver. bump</Comment>
+			<Name>fury</Name>
+			<Email>uglyside@yandex.ru</Email>
+		</Update>
 		<Update release="9">
 			<Date>2022-02-05</Date>
 			<Version>2.7</Version>