diff --git a/desktop/lookandfeel/adwaita-qt/pspec.xml b/desktop/lookandfeel/adwaita-qt/pspec.xml index 1110b0bc75..65e461dbc7 100644 --- a/desktop/lookandfeel/adwaita-qt/pspec.xml +++ b/desktop/lookandfeel/adwaita-qt/pspec.xml @@ -14,8 +14,8 @@ desktop.lookandfeel A style to bend Qt applications to look like they belong into GNOME Shell. A native style to bend Qt4 and Qt5 applications to look like they belong into GNOME Shell. - - https://github.com/FedoraQt/adwaita-qt/archive/1.2.0.tar.gz + + https://github.com/FedoraQt/adwaita-qt/archive/1.2.1.tar.gz cmake @@ -51,6 +51,13 @@ + + 2021-03-24 + 1.2.1 + Version bump. + fury + wascheme@tuta.io + 2021-01-02 1.2.0 diff --git a/programming/library/z3/pspec.xml b/programming/library/z3/pspec.xml index d2a6f1ab1e..811dd6cf30 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/z3-4.8.9.tar.gz + + https://github.com/Z3Prover/z3/archive/z3-4.8.10.tar.gz cmake @@ -30,7 +30,7 @@ gmp libgcc - python3 + /usr/bin @@ -59,10 +59,18 @@ /usr/include /usr/lib/pkgconfig + /usr/lib/cmake + + 2021-03-24 + 4.8.10 + Version bump. + fury + wascheme@tuta.io + 2020-10-08 4.8.9 diff --git a/programming/tool/cppcheck/actions.py b/programming/tool/cppcheck/actions.py index 4fa0f4a016..1516dc80b7 100644 --- a/programming/tool/cppcheck/actions.py +++ b/programming/tool/cppcheck/actions.py @@ -11,6 +11,7 @@ from pisi.actionsapi import get j = "-DUSE_Z3=ON \ -DHAVE_RULES=ON \ + -DPYTHON_EXECUTABLE=/usr/bin/python3 \ -DBUILD_GUI=ON \ -DBUILD_SHARED_LIBS=ON \ -DBUILD_TESTS=OFF \ diff --git a/programming/tool/cppcheck/files/qm_install_path.patch b/programming/tool/cppcheck/files/qm_install_path.patch index c34adb9dbe..3babb12dd8 100644 --- a/programming/tool/cppcheck/files/qm_install_path.patch +++ b/programming/tool/cppcheck/files/qm_install_path.patch @@ -2,7 +2,7 @@ diff --git a/gui/CMakeLists.txt b/gui/CMakeLists.txt index 9cd93a21f..d07094a00 100644 --- a/gui/CMakeLists.txt +++ b/gui/CMakeLists.txt -@@ -40,7 +40,7 @@ if (BUILD_GUI) +@@ -49,7 +49,7 @@ if (BUILD_GUI) endif() install(TARGETS cppcheck-gui RUNTIME DESTINATION ${CMAKE_INSTALL_FULL_BINDIR} COMPONENT applications) diff --git a/programming/tool/cppcheck/pspec.xml b/programming/tool/cppcheck/pspec.xml index 28f5c0ccdf..56426b9d36 100644 --- a/programming/tool/cppcheck/pspec.xml +++ b/programming/tool/cppcheck/pspec.xml @@ -14,10 +14,10 @@ programming.tool static analysis of C/C++ code. - 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). + 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.3.tar.bz2 + + mirrors://sourceforge/cppcheck/cppcheck-2.4.tar.bz2 cmake @@ -68,6 +68,13 @@ + + 2021-03-24 + 2.4 + Ver. bump + fury + wascheme@tuta.io + 2020-12-20 2.3