Rebuild for z3 4.8.17

- Remove patch:
  cppcheck-2.7.3-tinyxml2.patch

.gitignore

@@ -50,6 +50,3 @@ cppcheck-1.44.tar.bz2
 /cppcheck-2.7.tar.gz
 /cppcheck-2.7.3.tar.gz
 /cppcheck-2.7.4.tar.gz
-/cppcheck-2.8.tar.gz
-/cppcheck-2.8.2.tar.gz
-/cppcheck-2.9.tar.gz

cppcheck-2.7.3-tinyxml2.patch

@@ -0,0 +1,15 @@
+diff --git a/cmake/findDependencies.cmake b/cmake/findDependencies.cmake
+index 4d5b9efc5..6f6d9210c 100644
+--- a/cmake/findDependencies.cmake
++++ b/cmake/findDependencies.cmake
+@@ -48,7 +48,9 @@ endif()
+ 
+ if (NOT USE_BUNDLED_TINYXML2)
+     find_package(tinyxml2 QUIET)
+-    if (NOT tinyxml2_FOUND)
++    if (tinyxml2_FOUND)
++        set(tinyxml2_LIBRARIES "tinyxml2")
++    else()
+         find_library(tinyxml2_LIBRARIES tinyxml2)
+         if (NOT tinyxml2_LIBRARIES)
+             message(FATAL_ERROR "tinyxml2 has not been found")

cppcheck.spec

@@ -1,10 +1,10 @@
 %undefine __cmake_in_source_build
 
 Name:           cppcheck
-Version:        2.9
-Release:        4%{?dist}
+Version:        2.7.4
+Release:        2%{?dist}
 Summary:        Tool for static C/C++ code analysis
-License:        GPL-3.0
+License:        GPLv3+
 URL:            http://cppcheck.wiki.sourceforge.net/
 Source0:        https://github.com/danmar/%{name}/archive/%{version}.tar.gz#/%{name}-%{version}.tar.gz
 
@@ -24,6 +24,7 @@ BuildRequires:  tinyxml2-devel >= 2.1.0
 BuildRequires:  zlib-devel
 BuildRequires:  python3-devel
 BuildRequires:  python3-setuptools
+BuildRequires:  z3-devel >= 4.7.1
 BuildRequires:  qt5-qtbase-devel
 BuildRequires:  qt5-qttools-devel
 BuildRequires:  qt5-linguist
@@ -71,7 +72,7 @@ pandoc man/reference-cfg-format.md -o man/reference-cfg-format.html -s --number-
 
 # Binaries
 # Upstream doesn't support shared libraries (unversioned solib)
-%cmake -DCMAKE_BUILD_TYPE=Release -DUSE_MATCHCOMPILER=yes -DHAVE_RULES=yes -DBUILD_GUI=1 -DBUILD_SHARED_LIBS:BOOL=OFF -DBUILD_TESTS=yes -DFILESDIR=%{_datadir}/Cppcheck -DUSE_BUNDLED_TINYXML2=OFF -DENABLE_OSS_FUZZ=OFF
+%cmake -DCMAKE_BUILD_TYPE=Release -DUSE_MATCHCOMPILER=yes -DUSE_Z3=yes -DHAVE_RULES=yes -DBUILD_GUI=1 -DBUILD_SHARED_LIBS:BOOL=OFF -DBUILD_TESTS=yes -DFILESDIR=%{_datadir}/Cppcheck -DUSE_BUNDLED_TINYXML2=OFF -DENABLE_OSS_FUZZ=OFF
 %cmake_build
 
 %install
@@ -112,36 +113,12 @@ cd %{_vpath_builddir}/bin
 %{_bindir}/cppcheck-htmlreport
 
 %changelog
-* Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 2.9-4
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
-
-* Fri Jan 13 2023 Steve Grubb <sgrubb@redhat.com> - 2.9-3
-- SPDX Migration
-
-* Sun Sep 25 2022 Rich Mattes <richmattes@gmail.com> - 2.9-2
-- Rebuild for tinyxml2-9.0.0
-
-* Sun Aug 28 2022 Wolfgang Stöggl <c72578@yahoo.de> - 2.9-1
-- Update to 2.9
-
-* Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.8.2-2
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
-
-* Sat Jul 16 2022 Wolfgang Stöggl <c72578@yahoo.de> - 2.8.2-1
-- Update to 2.8.2
-
-* Wed May 25 2022 Wolfgang Stöggl <c72578@yahoo.de> - 2.8-1
-- Update to 2.8
-
 * Thu May 19 2022 Jerry James <loganjerry@gmail.com> - 2.7.4-2
 - Rebuild for z3 4.8.17
 
 * Fri Mar 25 2022 Wolfgang Stöggl <c72578@yahoo.de> - 2.7.4-1
 - Update to 2.7.4
 
-* Wed Mar 23 2022 Wolfgang Stöggl <c72578@yahoo.de> - 2.7.3-2
-- Update tinyxml2 patch, add upstream link and rebuild
-
 * Sat Mar 19 2022 Wolfgang Stöggl <c72578@yahoo.de> - 2.7.3-1
 - Update to 2.7.3.
 

sources

@@ -1 +1 @@
-SHA512 (cppcheck-2.9.tar.gz) = 69204a7ceac087470201482894e6422b99d0849f08641e80b2e341c9d164a1d2095e3a08a1fba2e9fa681783d07fe7277b30ea0cc0bf582431b5d13ab2f58c1f
+SHA512 (cppcheck-2.7.4.tar.gz) = 599101c2c5ffe8073849ca97dd99839af9d241dc10e0638d339aa919c2df98d48e3fbb882120c864647de97ed3f77434a2748eec489bfcebbebacb020fc32611