diff --git a/desktop/xfce/base/xfce4-settings/pspec.xml b/desktop/xfce/base/xfce4-settings/pspec.xml
index a2cd4eba84..fdc5ea8ad2 100644
--- a/desktop/xfce/base/xfce4-settings/pspec.xml
+++ b/desktop/xfce/base/xfce4-settings/pspec.xml
@@ -70,7 +70,6 @@
libxklavier
libxfce4util
network-manager-applet
- gsettings-desktop-schemas
/etc
diff --git a/desktop/xfce/base/xfconf/pspec.xml b/desktop/xfce/base/xfconf/pspec.xml
index 286adbda87..b96cc10e9d 100644
--- a/desktop/xfce/base/xfconf/pspec.xml
+++ b/desktop/xfce/base/xfconf/pspec.xml
@@ -31,6 +31,7 @@
glib2
libxfce4util
+ gsettings-desktop-schemas
/usr/bin
@@ -59,7 +60,7 @@
- 2020-12-24
+ 2022-05-28
4.16.0
New release.
Ali Cengiz Kurt
diff --git a/multimedia/misc/indicator-sound-switcher/pspec.xml b/multimedia/misc/indicator-sound-switcher/pspec.xml
index febde22da7..037fe3e3e1 100644
--- a/multimedia/misc/indicator-sound-switcher/pspec.xml
+++ b/multimedia/misc/indicator-sound-switcher/pspec.xml
@@ -13,8 +13,8 @@
multimedia.misc
Sound input/output selector indicator for Linux.
It shows an icon in the indicator area or the system tray (whatever is available in your desktop environment). The icon's menu allows you to switch the current sound input and output (i.e. source ports and sink ports in PulseAudio's terms, respectively) with just two clicks.
-
- https://github.com/yktoo/indicator-sound-switcher/archive/refs/tags/v2.3.6.tar.gz
+
+ https://github.com/yktoo/indicator-sound-switcher/archive/refs/tags/v2.3.8.tar.gz
python3-setuptools
@@ -41,6 +41,13 @@
+
+ 2022-05-28
+ 2.3.8
+ Version bump.
+ fury
+ uglyside@yandex.ru
+
2021-11-04
2.3.6
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 @@
programming.library
The Z3 Theorem Prover.
Z3 is a theorem prover from Microsoft Research.
-
- https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.8.12.tar.gz
+
+ https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.8.17.tar.gz
cmake
@@ -64,6 +64,13 @@
+
+ 2022-05-28
+ 4.8.17
+ Version bump.
+ fury
+ uglyside@yandex.ru
+
2021-10-11
4.8.12
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 @@
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).
-
- mirrors://sourceforge/cppcheck/cppcheck-2.7.tar.bz2
+
+ mirrors://sourceforge/cppcheck/cppcheck-2.8.tar.bz2
cmake
@@ -68,6 +68,13 @@
+
+ 2022-05-28
+ 2.8
+ Ver. bump
+ fury
+ uglyside@yandex.ru
+
2022-02-05
2.7
diff --git a/util/misc/nnn/pspec.xml b/util/misc/nnn/pspec.xml
index ccd6c8da02..cd58326511 100644
--- a/util/misc/nnn/pspec.xml
+++ b/util/misc/nnn/pspec.xml
@@ -13,8 +13,8 @@
util.misc
n³ The unorthodox terminal file manager.
nnn (n³) is a full-featured terminal file manager. It's tiny, nearly 0-config and incredibly fast.
-
- https://github.com/jarun/nnn/releases/download/v4.1/nnn-v4.1.tar.gz
+
+ https://github.com/jarun/nnn/releases/download/v4.5/nnn-v4.5.tar.gz
gcc
@@ -38,6 +38,13 @@
+
+ 2022-05-28
+ 4.5
+ Version bump.
+ fury
+ uglyside@yandex.ru
+
2022-04-14
4.1