From 75ad8f4aa2bc6bae70f6ec0213132959f48d60be Mon Sep 17 00:00:00 2001 From: 4fury-c3440d8 Date: Wed, 24 Mar 2021 05:23:26 +0300 Subject: [PATCH 1/3] adwaita-qt. --- desktop/lookandfeel/adwaita-qt/pspec.xml | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) 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 From e0626d57352c03a344a2a7e9e7b21d4c8b04da3b Mon Sep 17 00:00:00 2001 From: 4fury-c3440d8 Date: Wed, 24 Mar 2021 05:23:55 +0300 Subject: [PATCH 2/3] z3. --- programming/library/z3/pspec.xml | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) 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 From e204a1a2668fa232e28e6061214ae66d4e6c9ea3 Mon Sep 17 00:00:00 2001 From: 4fury-c3440d8 Date: Wed, 24 Mar 2021 05:24:26 +0300 Subject: [PATCH 3/3] cppcheck. --- programming/tool/cppcheck/actions.py | 1 + .../tool/cppcheck/files/qm_install_path.patch | 2 +- programming/tool/cppcheck/pspec.xml | 13 ++++++++++--- 3 files changed, 12 insertions(+), 4 deletions(-) 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