diff --git a/abi_used_libs b/abi_used_libs --- a/abi_used_libs +++ b/abi_used_libs @@ -3,3 +3,4 @@ libm.so.6 libpcre.so.1 libstdc++.so.6 +libz3.so.4.8 diff --git a/package.yml b/package.yml --- a/package.yml +++ b/package.yml @@ -1,15 +1,17 @@ name : cppcheck -version : '1.90' -release : 9 +version : '2.1' +release : 10 source : - - https://github.com/danmar/cppcheck/archive/1.90.tar.gz : c4864d3e09359214efdd503b52e241f4f56ba7ce26f8c11939fd9dcfac1fd105 + - https://github.com/danmar/cppcheck/archive/2.1.tar.gz : 447d44bbaa555fa78b89dd2cb0203fd4c6f18269db8a78638b968ba7c72cb02e license : GPL-3.0-or-later component : programming.tools summary : Static source code analysis tool for C and C++ code 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). +builddeps : + - pkgconfig(z3) setup : | - %cmake_ninja . -DBUILD_TESTS=ON -DHAVE_RULES=ON + %cmake_ninja . -DBUILD_TESTS=ON -DHAVE_RULES=ON -DUSE_MATCHCOMPILER=ON -DUSE_Z3=yes build : | %ninja_build install : | diff --git a/pspec_x86_64.xml b/pspec_x86_64.xml --- a/pspec_x86_64.xml +++ b/pspec_x86_64.xml @@ -2,8 +2,8 @@ cppcheck - Pierre-Yves - pyu@riseup.net + Silke Hofstra + silke@slxh.eu GPL-3.0-or-later programming.tools @@ -80,12 +80,12 @@ - - 2019-12-21 - 1.90 + + 2020-09-30 + 2.1 Packaging update - Pierre-Yves - pyu@riseup.net + Silke Hofstra + silke@slxh.eu \ No newline at end of file