******************************************************************************** conan install cppcheck/2.7.4@#341444285a1d006e5720b1833d42143c --build=cppcheck -pr /home/conan/w/prod/BuildSingleReference/86513/196710b9-b68d-4ec4-bca1-11397d94c755/profile_linux_9_libstdcpp11_gcc_debug_64..txt -c tools.system.package_manager:mode=install -c tools.system.package_manager:sudo=True ******************************************************************************** Auto detecting your dev setup to initialize the default profile (/home/conan/w/prod/BuildSingleReference/.conan/profiles/default) CC and CXX: /usr/bin/gcc, /usr/bin/g++ Found gcc 9 gcc>=5, using the major as version ************************* WARNING: GCC OLD ABI COMPATIBILITY *********************** Conan detected a GCC version > 5 but has adjusted the 'compiler.libcxx' setting to 'libstdc++' for backwards compatibility. Your compiler is likely using the new CXX11 ABI by default (libstdc++11). If you want Conan to use the new ABI for the default profile, run: $ conan profile update settings.compiler.libcxx=libstdc++11 default Or edit '/home/conan/w/prod/BuildSingleReference/.conan/profiles/default' and set compiler.libcxx=libstdc++11 ************************************************************************************ Default settings os=Linux os_build=Linux arch=x86_64 arch_build=x86_64 compiler=gcc compiler.version=9 compiler.libcxx=libstdc++ build_type=Release *** You can change them in /home/conan/w/prod/BuildSingleReference/.conan/profiles/default *** *** Or override with -s compiler='other' -s ...s*** Configuration: [settings] arch=x86_64 build_type=Debug compiler=gcc compiler.libcxx=libstdc++11 compiler.version=9 os=Linux [options] [build_requires] [env] [conf] tools.system.package_manager:mode=install tools.system.package_manager:sudo=True z3/4.8.8: Not found in local cache, looking in remotes... z3/4.8.8: Trying with 'conan-center'... Downloading conanmanifest.txt Downloading conanfile.py Downloading conan_export.tgz z3/4.8.8: Downloaded recipe revision bbdeb8ab816227c5fd651ddc0df36ee8 z3/4.8.8: z3 will build using gmp multiprecision implementation. gmp/6.2.1: Not found in local cache, looking in remotes... gmp/6.2.1: Trying with 'conan-center'... Downloading conanmanifest.txt Downloading conanfile.py Downloading conan_export.tgz gmp/6.2.1: Downloaded recipe revision 2011237c81178d014a4c08ae40cfe0cb pcre/8.45: Not found in local cache, looking in remotes... pcre/8.45: Trying with 'conan-center'... Downloading conanmanifest.txt Downloading conanfile.py Downloading conan_export.tgz pcre/8.45: Downloaded recipe revision e2a55ed3c2f5fa6832edd7897693005f bzip2/1.0.8: Not found in local cache, looking in remotes... bzip2/1.0.8: Trying with 'conan-center'... Downloading conanmanifest.txt Downloading conanfile.py Downloading conan_export.tgz bzip2/1.0.8: Downloaded recipe revision d1b2d5816f25865acf978501dff1f897 zlib/1.2.12: Not found in local cache, looking in remotes... zlib/1.2.12: Trying with 'conan-center'... Downloading conanmanifest.txt Downloading conanfile.py Downloading conan_export.tgz zlib/1.2.12: Downloaded recipe revision a30750797caa71bd61bd0a18189caa28 cppcheck/2.7.4: Forced build from source Installing package: cppcheck/2.7.4 Requirements bzip2/1.0.8 from 'conan-center' - Downloaded cppcheck/2.7.4 from local cache - Cache gmp/6.2.1 from 'conan-center' - Downloaded pcre/8.45 from 'conan-center' - Downloaded z3/4.8.8 from 'conan-center' - Downloaded zlib/1.2.12 from 'conan-center' - Downloaded Packages bzip2/1.0.8:1d984b241c5c01f748cafe0b37dc9567ed236fef - Download cppcheck/2.7.4:1b97840e1a6eccf904b185de8c21708c99067a00 - Build gmp/6.2.1:217c8968493578906038d50c2a6e52324a45384f - Download pcre/8.45:25c45d0ee1909d2d499509931e4d76ad043ea44f - Download z3/4.8.8:a4f52a881c1bfeb879494f8060bbc8240092fe74 - Download zlib/1.2.12:23b828d52c0630e6b0b96d2945419feb7843c4f8 - Download Installing (downloading, building) binaries... bzip2/1.0.8: Retrieving package 1d984b241c5c01f748cafe0b37dc9567ed236fef from remote 'conan-center' Downloading conanmanifest.txt Downloading conaninfo.txt Downloading conan_package.tgz bzip2/1.0.8: Package installed 1d984b241c5c01f748cafe0b37dc9567ed236fef bzip2/1.0.8: Downloaded package revision 00fe6d5a7d842d2297389bf28ceb190e gmp/6.2.1: Retrieving package 217c8968493578906038d50c2a6e52324a45384f from remote 'conan-center' Downloading conanmanifest.txt Downloading conaninfo.txt Downloading conan_package.tgz gmp/6.2.1: Package installed 217c8968493578906038d50c2a6e52324a45384f gmp/6.2.1: Downloaded package revision 822dba1f7347f5301f5bd9a55790e09a zlib/1.2.12: Retrieving package 23b828d52c0630e6b0b96d2945419feb7843c4f8 from remote 'conan-center' Downloading conanmanifest.txt Downloading conaninfo.txt Downloading conan_package.tgz zlib/1.2.12: Package installed 23b828d52c0630e6b0b96d2945419feb7843c4f8 zlib/1.2.12: Downloaded package revision a10ab83890fdac28caf65b21f87b0f46 pcre/8.45: Retrieving package 25c45d0ee1909d2d499509931e4d76ad043ea44f from remote 'conan-center' Downloading conanmanifest.txt Downloading conaninfo.txt Downloading conan_package.tgz pcre/8.45: Package installed 25c45d0ee1909d2d499509931e4d76ad043ea44f pcre/8.45: Downloaded package revision fddc110ed940df61e12ee7774c830cad z3/4.8.8: Retrieving package a4f52a881c1bfeb879494f8060bbc8240092fe74 from remote 'conan-center' Downloading conanmanifest.txt Downloading conaninfo.txt Downloading conan_package.tgz z3/4.8.8: Package installed a4f52a881c1bfeb879494f8060bbc8240092fe74 z3/4.8.8: Downloaded package revision 28b27f0e5c5705b005b5de50729e6e9b bzip2/1.0.8: Appending PATH environment variable: /home/conan/w/prod/BuildSingleReference/.conan/data/bzip2/1.0.8/_/_/package/1d984b241c5c01f748cafe0b37dc9567ed236fef/bin pcre/8.45: Appending PATH environment variable: /home/conan/w/prod/BuildSingleReference/.conan/data/pcre/8.45/_/_/package/25c45d0ee1909d2d499509931e4d76ad043ea44f/bin [HOOK - conan-center.py] pre_source(): [IMMUTABLE SOURCES (KB-H010)] OK cppcheck/2.7.4: Configuring sources in /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/source/. cppcheck/2.7.4: [HOOK - conan-center.py] post_source(): [LIBCXX MANAGEMENT (KB-H011)] OK [HOOK - conan-center.py] post_source(): [CPPSTD MANAGEMENT (KB-H022)] OK [HOOK - conan-center.py] post_source(): [SHORT_PATHS USAGE (KB-H066)] OK cppcheck/2.7.4: Copying sources to build folder cppcheck/2.7.4: Building your package in /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00 cppcheck/2.7.4: Generator txt created conanbuildinfo.txt cppcheck/2.7.4: Calling generate() cppcheck/2.7.4: Aggregating env generators [HOOK - conan-center.py] pre_build(): [FPIC MANAGEMENT (KB-H007)] 'fPIC' option not found [HOOK - conan-center.py] pre_build(): [FPIC MANAGEMENT (KB-H007)] OK cppcheck/2.7.4: Calling build() cppcheck/2.7.4: CMake command: cmake -G "Unix Makefiles" -DCMAKE_TOOLCHAIN_FILE="/home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/build/generators/conan_toolchain.cmake" -DCMAKE_INSTALL_PREFIX="/home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/package/1b97840e1a6eccf904b185de8c21708c99067a00" -DCMAKE_POLICY_DEFAULT_CMP0091="NEW" -DCMAKE_BUILD_TYPE="Debug" "/home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/." ----Running------ > cmake -G "Unix Makefiles" -DCMAKE_TOOLCHAIN_FILE="/home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/build/generators/conan_toolchain.cmake" -DCMAKE_INSTALL_PREFIX="/home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/package/1b97840e1a6eccf904b185de8c21708c99067a00" -DCMAKE_POLICY_DEFAULT_CMP0091="NEW" -DCMAKE_BUILD_TYPE="Debug" "/home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/." ----------------- -- Using Conan toolchain: /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/build/generators/conan_toolchain.cmake -- The C compiler identification is GNU 9.2.1 -- The CXX compiler identification is GNU 9.2.1 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/bin/gcc - skipped -- Detecting C compile features -- Detecting C compile features - done -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/bin/g++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- Using bundled version of tinyxml2 -- ------------------ General configuration for Cppcheck 2.7.4 ----------------- -- -- CMake Generator = Unix Makefiles -- Compiler = GNU -- Compiler Version = 9.2.1 -- Build type = Debug -- CMAKE_INSTALL_PREFIX = /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/package/1b97840e1a6eccf904b185de8c21708c99067a00 -- CMAKE_DISABLE_PRECOMPILE_HEADERS = Off -- C++ flags (General) = -m64 -- C++ flags (Release) = -O3 -DNDEBUG -- C++ flags (RelWithDebInfo) = -O2 -g -DNDEBUG -- C++ flags (Debug) = -g -- Found Define: _GLIBCXX_DEBUG -- Found Define: HAVE_RULES -- Found Define: TIXML_USE_STL -- Found Define: USE_Z3 -- Found Define: FILESDIR="/home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/package/1b97840e1a6eccf904b185de8c21708c99067a00/share/Cppcheck" -- -- --------------------------------------------------------- -- ANALYZE_MEMORY = OFF -- ANALYZE_ADDRESS = OFF -- ANALYZE_THREAD = OFF -- ANALYZE_UNDEFINED = OFF -- ANALYZE_DATAFLOW = OFF -- WARNINGS_ARE_ERRORS = OFF -- -- USE_MATCHCOMPILER = Auto -- USE_MATCHCOMPILER_OPT = Off -- -- BUILD_SHARED_LIBS = OFF -- LIBXML2_XMLLINT_EXECUTABLE = LIBXML2_XMLLINT_EXECUTABLE-NOTFOUND -- BUILD_TESTS = OFF -- ENABLE_CHECK_INTERNAL = OFF -- ENABLE_OSS_FUZZ = OFF -- -- BUILD_GUI = OFF -- WITH_QCHART = OFF -- -- HAVE_RULES = True -- PCRE_LIBRARY = /home/conan/w/prod/BuildSingleReference/.conan/data/pcre/8.45/_/_/package/25c45d0ee1909d2d499509931e4d76ad043ea44f/lib/libpcre.a -- -- USE_Z3 = True -- Z3_LIBRARIES = /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a -- Z3_CXX_INCLUDE_DIRS = /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/include -- -- USE_BUNDLED_TINYXML2 = ON -- -- NPROC=4 -- RUN_CLANG_TIDY=RUN_CLANG_TIDY-NOTFOUND -- Configuring done -- Generating done -- Build files have been written to: /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/build/Debug cppcheck/2.7.4: CMake command: cmake --build "/home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/build/Debug" '--' '-j3' ----Running------ > cmake --build "/home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/build/Debug" '--' '-j3' ----------------- Scanning dependencies of target copy_cfg Scanning dependencies of target copy_addons [ 1%] Copying cfg files to /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/build/Debug/bin/. [ 2%] Copying addons files to /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/build/Debug/bin/. Scanning dependencies of target tinyxml2_objs [ 2%] Built target copy_cfg [ 2%] Built target copy_addons [ 4%] Building CXX object externals/tinyxml2/CMakeFiles/tinyxml2_objs.dir/tinyxml2.cpp.o Scanning dependencies of target lib_objs Scanning dependencies of target simplecpp_objs [ 5%] Building CXX object externals/simplecpp/CMakeFiles/simplecpp_objs.dir/simplecpp.cpp.o [ 7%] Building CXX object lib/CMakeFiles/lib_objs.dir/cmake_pch.hxx.gch [ 7%] Built target tinyxml2_objs Scanning dependencies of target cli_objs [ 8%] Building CXX object cli/CMakeFiles/cli_objs.dir/cmdlineparser.cpp.o [ 8%] Built target simplecpp_objs [ 10%] Building CXX object cli/CMakeFiles/cli_objs.dir/cppcheckexecutor.cpp.o [ 11%] Building CXX object cli/CMakeFiles/cli_objs.dir/filelister.cpp.o [ 12%] Building CXX object cli/CMakeFiles/cli_objs.dir/threadexecutor.cpp.o [ 14%] Building CXX object lib/CMakeFiles/lib_objs.dir/analyzerinfo.cpp.o [ 15%] Building CXX object lib/CMakeFiles/lib_objs.dir/astutils.cpp.o [ 17%] Building CXX object lib/CMakeFiles/lib_objs.dir/bughuntingchecks.cpp.o [ 17%] Built target cli_objs [ 18%] Building CXX object lib/CMakeFiles/lib_objs.dir/check.cpp.o [ 20%] Building CXX object lib/CMakeFiles/lib_objs.dir/check64bit.cpp.o [ 21%] Building CXX object lib/CMakeFiles/lib_objs.dir/checkassert.cpp.o [ 22%] Building CXX object lib/CMakeFiles/lib_objs.dir/checkautovariables.cpp.o [ 24%] Building CXX object lib/CMakeFiles/lib_objs.dir/checkbool.cpp.o [ 25%] Building CXX object lib/CMakeFiles/lib_objs.dir/checkboost.cpp.o [ 27%] Building CXX object lib/CMakeFiles/lib_objs.dir/checkbufferoverrun.cpp.o [ 28%] Building CXX object lib/CMakeFiles/lib_objs.dir/checkclass.cpp.o [ 30%] Building CXX object lib/CMakeFiles/lib_objs.dir/checkcondition.cpp.o [ 31%] Building CXX object lib/CMakeFiles/lib_objs.dir/checkexceptionsafety.cpp.o [ 32%] Building CXX object lib/CMakeFiles/lib_objs.dir/checkfunctions.cpp.o [ 34%] Building CXX object lib/CMakeFiles/lib_objs.dir/checkinternal.cpp.o [ 35%] Building CXX object lib/CMakeFiles/lib_objs.dir/checkio.cpp.o [ 37%] Building CXX object lib/CMakeFiles/lib_objs.dir/checkleakautovar.cpp.o [ 38%] Building CXX object lib/CMakeFiles/lib_objs.dir/checkmemoryleak.cpp.o [ 40%] Building CXX object lib/CMakeFiles/lib_objs.dir/checknullpointer.cpp.o [ 41%] Building CXX object lib/CMakeFiles/lib_objs.dir/checkother.cpp.o [ 42%] Building CXX object lib/CMakeFiles/lib_objs.dir/checkpostfixoperator.cpp.o [ 44%] Building CXX object lib/CMakeFiles/lib_objs.dir/checksizeof.cpp.o [ 45%] Building CXX object lib/CMakeFiles/lib_objs.dir/checkstl.cpp.o [ 47%] Building CXX object lib/CMakeFiles/lib_objs.dir/checkstring.cpp.o [ 48%] Building CXX object lib/CMakeFiles/lib_objs.dir/checktype.cpp.o [ 50%] Building CXX object lib/CMakeFiles/lib_objs.dir/checkuninitvar.cpp.o [ 51%] Building CXX object lib/CMakeFiles/lib_objs.dir/checkunusedfunctions.cpp.o [ 52%] Building CXX object lib/CMakeFiles/lib_objs.dir/checkunusedvar.cpp.o [ 54%] Building CXX object lib/CMakeFiles/lib_objs.dir/checkvaarg.cpp.o [ 55%] Building CXX object lib/CMakeFiles/lib_objs.dir/clangimport.cpp.o [ 57%] Building CXX object lib/CMakeFiles/lib_objs.dir/color.cpp.o [ 58%] Building CXX object lib/CMakeFiles/lib_objs.dir/cppcheck.cpp.o [ 60%] Building CXX object lib/CMakeFiles/lib_objs.dir/ctu.cpp.o [ 61%] Building CXX object lib/CMakeFiles/lib_objs.dir/errorlogger.cpp.o [ 62%] Building CXX object lib/CMakeFiles/lib_objs.dir/errortypes.cpp.o [ 64%] Building CXX object lib/CMakeFiles/lib_objs.dir/exprengine.cpp.o [ 65%] Building CXX object lib/CMakeFiles/lib_objs.dir/forwardanalyzer.cpp.o [ 67%] Building CXX object lib/CMakeFiles/lib_objs.dir/importproject.cpp.o [ 68%] Building CXX object lib/CMakeFiles/lib_objs.dir/infer.cpp.o [ 70%] Building CXX object lib/CMakeFiles/lib_objs.dir/library.cpp.o [ 71%] Building CXX object lib/CMakeFiles/lib_objs.dir/mathlib.cpp.o [ 72%] Building CXX object lib/CMakeFiles/lib_objs.dir/path.cpp.o [ 74%] Building CXX object lib/CMakeFiles/lib_objs.dir/pathanalysis.cpp.o [ 75%] Building CXX object lib/CMakeFiles/lib_objs.dir/pathmatch.cpp.o [ 77%] Building CXX object lib/CMakeFiles/lib_objs.dir/platform.cpp.o [ 78%] Building CXX object lib/CMakeFiles/lib_objs.dir/preprocessor.cpp.o [ 80%] Building CXX object lib/CMakeFiles/lib_objs.dir/programmemory.cpp.o [ 81%] Building CXX object lib/CMakeFiles/lib_objs.dir/reverseanalyzer.cpp.o [ 82%] Building CXX object lib/CMakeFiles/lib_objs.dir/settings.cpp.o [ 84%] Building CXX object lib/CMakeFiles/lib_objs.dir/summaries.cpp.o [ 85%] Building CXX object lib/CMakeFiles/lib_objs.dir/suppressions.cpp.o [ 87%] Building CXX object lib/CMakeFiles/lib_objs.dir/symboldatabase.cpp.o [ 88%] Building CXX object lib/CMakeFiles/lib_objs.dir/templatesimplifier.cpp.o [ 90%] Building CXX object lib/CMakeFiles/lib_objs.dir/timer.cpp.o [ 91%] Building CXX object lib/CMakeFiles/lib_objs.dir/token.cpp.o [ 92%] Building CXX object lib/CMakeFiles/lib_objs.dir/tokenize.cpp.o [ 94%] Building CXX object lib/CMakeFiles/lib_objs.dir/tokenlist.cpp.o [ 95%] Building CXX object lib/CMakeFiles/lib_objs.dir/utils.cpp.o [ 97%] Building CXX object lib/CMakeFiles/lib_objs.dir/valueflow.cpp.o [ 97%] Built target lib_objs Scanning dependencies of target cppcheck [ 98%] Building CXX object cli/CMakeFiles/cppcheck.dir/main.cpp.o [100%] Linking CXX executable ../bin/cppcheck cppcheck/2.7.4: /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/cli/filelister.cpp: In function ‘std::string addFiles2(std::__debug::map, long unsigned int>&, const string&, const std::__debug::set >&, bool, const PathMatch&)’: /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/cli/filelister.cpp:224:73: warning: ‘int readdir_r(DIR*, dirent*, dirent**)’ is deprecated [-Wdeprecated-declarations] 224 | while ((readdir_r(dir, &dir_result_buffer.entry, &dir_result) == 0) && (dir_result != nullptr)) { | ^ In file included from /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/cli/filelister.cpp:180: /usr/include/dirent.h:183:12: note: declared here 183 | extern int readdir_r (DIR *__restrict __dirp, | ^~~~~~~~~ /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/cli/filelister.cpp:224:73: warning: ‘int readdir_r(DIR*, dirent*, dirent**)’ is deprecated [-Wdeprecated-declarations] 224 | while ((readdir_r(dir, &dir_result_buffer.entry, &dir_result) == 0) && (dir_result != nullptr)) { | ^ In file included from /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/cli/filelister.cpp:180: /usr/include/dirent.h:183:12: note: declared here 183 | extern int readdir_r (DIR *__restrict __dirp, | ^~~~~~~~~ In file included from /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/lib/cppcheck.cpp:59: /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h: In member function ‘const T& picojson::value::get() const [with T = double]’: /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h:304:135: warning: comparing floating point with == or != is unsafe [-Wfloat-equal] 304 | GET(double, (type_ == int64_type && (const_cast(this)->type_ = number_type, const_cast(this)->u_.number_ = u_.int64_), u_.number_)) | ^ /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h:292:12: note: in definition of macro ‘GET’ 292 | return var; \ | ^~~ /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h:304:135: warning: comparing floating point with == or != is unsafe [-Wfloat-equal] 304 | GET(double, (type_ == int64_type && (const_cast(this)->type_ = number_type, const_cast(this)->u_.number_ = u_.int64_), u_.number_)) | ^ /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h:292:12: note: in definition of macro ‘GET’ 292 | return var; \ | ^~~ /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h: In member function ‘T& picojson::value::get() [with T = double]’: /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h:304:135: warning: comparing floating point with == or != is unsafe [-Wfloat-equal] 304 | GET(double, (type_ == int64_type && (const_cast(this)->type_ = number_type, const_cast(this)->u_.number_ = u_.int64_), u_.number_)) | ^ /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h:297:12: note: in definition of macro ‘GET’ 297 | return var; \ | ^~~ In file included from /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/lib/cppcheck.cpp:59: /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h: In member function ‘bool picojson::value::evaluate_as_boolean() const’: /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h:318:28: warning: comparing floating point with == or != is unsafe [-Wfloat-equal] 318 | return u_.number_ != 0; | ^ /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h: In member function ‘std::string picojson::value::to_str() const’: /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h:377:95: warning: comparing floating point with == or != is unsafe [-Wfloat-equal] 377 | SNPRINTF(buf, sizeof(buf), fabs(u_.number_) < (1ULL << 53) && modf(u_.number_, &tmp) == 0 ? "%.f" : "%.17g", u_.number_); | ^ /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h: In function ‘bool picojson::operator==(const picojson::value&, const picojson::value&)’: /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h:964:59: warning: comparing floating point with == or != is unsafe [-Wfloat-equal] 964 | return y.is() && x.get() == y.get() | ^ /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h:966:5: note: in expansion of macro ‘PICOJSON_CMP’ 966 | PICOJSON_CMP(double); | ^~~~~~~~~~~~ In file included from /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/lib/importproject.cpp:41: /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h: In member function ‘const T& picojson::value::get() const [with T = double]’: /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h:304:135: warning: comparing floating point with == or != is unsafe [-Wfloat-equal] 304 | GET(double, (type_ == int64_type && (const_cast(this)->type_ = number_type, const_cast(this)->u_.number_ = u_.int64_), u_.number_)) | ^ /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h:292:12: note: in definition of macro ‘GET’ 292 | return var; \ | ^~~ /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h:304:135: warning: comparing floating point with == or != is unsafe [-Wfloat-equal] 304 | GET(double, (type_ == int64_type && (const_cast(this)->type_ = number_type, const_cast(this)->u_.number_ = u_.int64_), u_.number_)) | ^ /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h:292:12: note: in definition of macro ‘GET’ 292 | return var; \ | ^~~ /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h: In member function ‘T& picojson::value::get() [with T = double]’: /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h:304:135: warning: comparing floating point with == or != is unsafe [-Wfloat-equal] 304 | GET(double, (type_ == int64_type && (const_cast(this)->type_ = number_type, const_cast(this)->u_.number_ = u_.int64_), u_.number_)) | ^ /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h:297:12: note: in definition of macro ‘GET’ 297 | return var; \ | ^~~ In file included from /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/lib/importproject.cpp:41: /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h: In member function ‘bool picojson::value::evaluate_as_boolean() const’: /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h:318:28: warning: comparing floating point with == or != is unsafe [-Wfloat-equal] 318 | return u_.number_ != 0; | ^ /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h: In member function ‘std::string picojson::value::to_str() const’: /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h:377:95: warning: comparing floating point with == or != is unsafe [-Wfloat-equal] 377 | SNPRINTF(buf, sizeof(buf), fabs(u_.number_) < (1ULL << 53) && modf(u_.number_, &tmp) == 0 ? "%.f" : "%.17g", u_.number_); | ^ /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h: In function ‘bool picojson::operator==(const picojson::value&, const picojson::value&)’: /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h:964:59: warning: comparing floating point with == or != is unsafe [-Wfloat-equal] 964 | return y.is() && x.get() == y.get() | ^ /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h:966:5: note: in expansion of macro ‘PICOJSON_CMP’ 966 | PICOJSON_CMP(double); | ^~~~~~~~~~~~ /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/lib/programmemory.cpp:157:6: warning: no previous declaration for ‘bool evaluateCondition(const string&, MathLib::bigint, const Token*, ProgramMemory&, const Settings*)’ [-Wmissing-declarations] 157 | bool evaluateCondition(const std::string& op, | ^~~~~~~~~~~~~~~~~ In file included from /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/lib/programmemory.cpp:22: /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/lib/calculate.h: In instantiation of ‘bool isEqual(T, T) [with T = double]’: /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/lib/calculate.h:45:22: required from ‘bool isZero(T) [with T = double]’ /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/lib/calculate.h:65:19: required from ‘R calculate(const string&, const T&, const T&, bool*) [with R = double; T = double; std::string = std::__cxx11::basic_string]’ /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/lib/calculate.h:121:27: required from ‘T calculate(const string&, const T&, const T&, bool*) [with T = double; std::string = std::__cxx11::basic_string]’ /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/lib/programmemory.cpp:523:81: required from here /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/lib/calculate.h:29:14: warning: comparing floating point with == or != is unsafe [-Wfloat-equal] 29 | return x == y; | ~~^~~~ In file included from /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/lib/settings.cpp:27: /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h: In member function ‘const T& picojson::value::get() const [with T = double]’: /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h:304:135: warning: comparing floating point with == or != is unsafe [-Wfloat-equal] 304 | GET(double, (type_ == int64_type && (const_cast(this)->type_ = number_type, const_cast(this)->u_.number_ = u_.int64_), u_.number_)) | ^ /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h:292:12: note: in definition of macro ‘GET’ 292 | return var; \ | ^~~ /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h:304:135: warning: comparing floating point with == or != is unsafe [-Wfloat-equal] 304 | GET(double, (type_ == int64_type && (const_cast(this)->type_ = number_type, const_cast(this)->u_.number_ = u_.int64_), u_.number_)) | ^ /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h:292:12: note: in definition of macro ‘GET’ 292 | return var; \ | ^~~ /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h: In member function ‘T& picojson::value::get() [with T = double]’: /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h:304:135: warning: comparing floating point with == or != is unsafe [-Wfloat-equal] 304 | GET(double, (type_ == int64_type && (const_cast(this)->type_ = number_type, const_cast(this)->u_.number_ = u_.int64_), u_.number_)) | ^ /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h:297:12: note: in definition of macro ‘GET’ 297 | return var; \ | ^~~ In file included from /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/lib/settings.cpp:27: /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h: In member function ‘bool picojson::value::evaluate_as_boolean() const’: /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h:318:28: warning: comparing floating point with == or != is unsafe [-Wfloat-equal] 318 | return u_.number_ != 0; | ^ /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h: In member function ‘std::string picojson::value::to_str() const’: /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h:377:95: warning: comparing floating point with == or != is unsafe [-Wfloat-equal] 377 | SNPRINTF(buf, sizeof(buf), fabs(u_.number_) < (1ULL << 53) && modf(u_.number_, &tmp) == 0 ? "%.f" : "%.17g", u_.number_); | ^ /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h: In function ‘bool picojson::operator==(const picojson::value&, const picojson::value&)’: /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h:964:59: warning: comparing floating point with == or != is unsafe [-Wfloat-equal] 964 | return y.is() && x.get() == y.get() | ^ /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/externals/picojson/picojson.h:966:5: note: in expansion of macro ‘PICOJSON_CMP’ 966 | PICOJSON_CMP(double); | ^~~~~~~~~~~~ /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/lib/valueflow.cpp: In static member function ‘static const char* ValueFlow::Value::toString(ValueFlow::Value::LifetimeScope)’: /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/lib/valueflow.cpp:7923:12: warning: enumeration value ‘ThisPointer’ not handled in switch [-Wswitch] 7923 | switch (lifetimeScope) { | ^ /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/lib/valueflow.cpp:7923:12: warning: enumeration value ‘ThisValue’ not handled in switch [-Wswitch] In file included from /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/lib/valueflow.cpp:82: /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/lib/calculate.h: In instantiation of ‘bool isEqual(T, T) [with T = double]’: /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/lib/calculate.h:45:22: required from ‘bool isZero(T) [with T = double]’ /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/lib/calculate.h:65:19: required from ‘R calculate(const string&, const T&, const T&, bool*) [with R = double; T = double; std::string = std::__cxx11::basic_string]’ /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/lib/calculate.h:121:27: required from ‘T calculate(const string&, const T&, const T&, bool*) [with T = double; std::string = std::__cxx11::basic_string]’ /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/lib/valueflow.cpp:754:102: required from here /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/lib/calculate.h:29:14: warning: comparing floating point with == or != is unsafe [-Wfloat-equal] 29 | return x == y; | ~~^~~~ /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(api_arith.cpp.o): in function `mpz_manager::is_one(mpz const&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.h:636: undefined reference to `__gmpz_cmp_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(api_fpa.cpp.o): in function `mpz_manager::is_one(mpz const&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.h:636: undefined reference to `__gmpz_cmp_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpq.cpp.o): in function `mpz_manager::is_minus_one(mpz const&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.h:646: undefined reference to `__gmpz_cmp_si' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpq.cpp.o): in function `mpz_manager::is_minus_one(mpz const&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.h:646: undefined reference to `__gmpz_cmp_si' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::allocate()': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.h:210: undefined reference to `__gmpz_init' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::deallocate(bool, __mpz_struct (*) [1])': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.h:215: undefined reference to `__gmpz_clear' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::clear(mpz&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.h:230: undefined reference to `__gmpz_clear' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::set_big_i64(mpz&, long)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:320: undefined reference to `__gmpz_set_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:322: undefined reference to `__gmpz_set_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:323: undefined reference to `__gmpz_mul' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:324: undefined reference to `__gmpz_add' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:327: undefined reference to `__gmpz_neg' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::set_big_ui64(mpz&, unsigned long)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:361: undefined reference to `__gmpz_set_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:363: undefined reference to `__gmpz_set_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:364: undefined reference to `__gmpz_mul' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:365: undefined reference to `__gmpz_add' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::big_add(mpz const&, mpz const&, mpz&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:754: undefined reference to `__gmpz_add' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::big_sub(mpz const&, mpz const&, mpz&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:766: undefined reference to `__gmpz_sub' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::big_mul(mpz const&, mpz const&, mpz&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:789: undefined reference to `__gmpz_mul' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::big_set(mpz&, mpz const&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1524: undefined reference to `__gmpz_set' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::big_div_rem(mpz const&, mpz const&, mpz&, mpz&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:803: undefined reference to `__gmpz_tdiv_qr' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::big_div(mpz const&, mpz const&, mpz&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:856: undefined reference to `__gmpz_tdiv_q' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::big_rem(mpz const&, mpz const&, mpz&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:871: undefined reference to `__gmpz_tdiv_r' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::big_compare(mpz const&, mpz const&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1561: undefined reference to `__gmpz_cmp' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::size_info(mpz const&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1142: undefined reference to `__gmpz_size' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::mpz_manager()': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:141: undefined reference to `__gmpz_init' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:142: undefined reference to `__gmpz_init' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:143: undefined reference to `__gmpz_init' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:144: undefined reference to `__gmpz_set_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:145: undefined reference to `__gmpz_set_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:146: undefined reference to `__gmpz_add' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:147: undefined reference to `__gmpz_init' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:150: undefined reference to `__gmpz_set_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:151: undefined reference to `__gmpz_mul' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:152: undefined reference to `__gmpz_set_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:153: undefined reference to `__gmpz_add' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:154: undefined reference to `__gmpz_init' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:155: undefined reference to `__gmpz_init' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:159: undefined reference to `__gmpz_set_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:160: undefined reference to `__gmpz_set_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:161: undefined reference to `__gmpz_mul' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:162: undefined reference to `__gmpz_set_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:163: undefined reference to `__gmpz_add' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:164: undefined reference to `__gmpz_neg' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:165: undefined reference to `__gmpz_sub_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::~mpz_manager()': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:179: undefined reference to `__gmpz_clear' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:180: undefined reference to `__gmpz_clear' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:181: undefined reference to `__gmpz_clear' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:182: undefined reference to `__gmpz_clear' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:183: undefined reference to `__gmpz_clear' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o):/home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:184: more undefined references to `__gmpz_clear' follow /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::neg(mpz&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:658: undefined reference to `__gmpz_neg' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::abs(mpz&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:680: undefined reference to `__gmpz_abs' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::gcd(mpz const&, mpz const&, mpz&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:891: undefined reference to `__gmpz_gcd' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::bitwise_or(mpz const&, mpz const&, mpz&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1376: undefined reference to `__gmpz_ior' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::bitwise_and(mpz const&, mpz const&, mpz&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1411: undefined reference to `__gmpz_and' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::bitwise_xor(mpz const&, mpz const&, mpz&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1453: undefined reference to `__gmpz_xor' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::set_digits(mpz&, unsigned int, unsigned int const*)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:486: undefined reference to `__gmpz_set_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:492: undefined reference to `__gmpz_mul_2exp' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:493: undefined reference to `__gmpz_set_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:494: undefined reference to `__gmpz_add' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::is_uint64(mpz const&) const': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1582: undefined reference to `__gmpz_cmp' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::is_int64(mpz const&) const': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1609: undefined reference to `__gmpz_cmp' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1609: undefined reference to `__gmpz_cmp' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::get_uint64(mpz const&) const': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1623: undefined reference to `__gmpz_get_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::get_int64(mpz const&) const': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1656: undefined reference to `__gmpz_get_si' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::get_double(mpz const&) const': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1691: undefined reference to `__gmpz_get_d' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::display(std::ostream&, mpz const&) const': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1714: undefined reference to `__gmpz_sizeinbase' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1716: undefined reference to `__gmpz_get_str' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::display_hex(std::ostream&, mpz const&, unsigned int) const': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1772: undefined reference to `__gmpz_sizeinbase' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1776: undefined reference to `__gmpz_get_str' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::display_bin(std::ostream&, mpz const&, unsigned int) const': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1827: undefined reference to `__gmpz_sizeinbase' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1830: undefined reference to `__gmpz_get_str' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::hash(mpz const&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1856: undefined reference to `__gmpz_get_si' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::power(mpz const&, unsigned int, mpz&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1865: undefined reference to `__gmpz_pow_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::is_power_of_two(mpz const&, unsigned int&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1952: undefined reference to `__gmpz_popcount' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::machine_div2k(mpz&, unsigned int)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:2099: undefined reference to `__gmpz_tdiv_q_2exp' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:2101: undefined reference to `__gmpz_swap' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::mul2k(mpz&, unsigned int)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:2164: undefined reference to `__gmpz_mul_2exp' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::power_of_two_multiple(mpz const&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:2225: undefined reference to `__gmpz_scan1' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::log2(mpz const&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:2245: undefined reference to `__gmpz_sizeinbase' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::mlog2(mpz const&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:2268: undefined reference to `__gmpz_neg' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:2269: undefined reference to `__gmpz_sizeinbase' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::decompose(mpz const&, svector&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:2455: undefined reference to `__gmpz_set' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:2456: undefined reference to `__gmpz_abs' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:2458: undefined reference to `__gmpz_tdiv_r_2exp' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:2459: undefined reference to `__gmpz_get_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:2461: undefined reference to `__gmpz_tdiv_q_2exp' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::ensure_mpz_t::ensure_mpz_t(mpz const&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:376: undefined reference to `__gmpz_init' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:377: undefined reference to `__gmpz_set_si' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::ensure_mpz_t::~ensure_mpz_t()': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:387: undefined reference to `__gmpz_clear' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::allocate()': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.h:210: undefined reference to `__gmpz_init' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::deallocate(bool, __mpz_struct (*) [1])': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.h:215: undefined reference to `__gmpz_clear' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::clear(mpz&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.h:230: undefined reference to `__gmpz_clear' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::set_big_i64(mpz&, long)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:320: undefined reference to `__gmpz_set_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:322: undefined reference to `__gmpz_set_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:323: undefined reference to `__gmpz_mul' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:324: undefined reference to `__gmpz_add' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:327: undefined reference to `__gmpz_neg' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::set_big_ui64(mpz&, unsigned long)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:361: undefined reference to `__gmpz_set_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:363: undefined reference to `__gmpz_set_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:364: undefined reference to `__gmpz_mul' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:365: undefined reference to `__gmpz_add' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::big_add(mpz const&, mpz const&, mpz&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:754: undefined reference to `__gmpz_add' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::big_sub(mpz const&, mpz const&, mpz&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:766: undefined reference to `__gmpz_sub' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::big_mul(mpz const&, mpz const&, mpz&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:789: undefined reference to `__gmpz_mul' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::big_set(mpz&, mpz const&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1524: undefined reference to `__gmpz_set' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::big_div_rem(mpz const&, mpz const&, mpz&, mpz&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:803: undefined reference to `__gmpz_tdiv_qr' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::big_div(mpz const&, mpz const&, mpz&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:856: undefined reference to `__gmpz_tdiv_q' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::big_rem(mpz const&, mpz const&, mpz&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:871: undefined reference to `__gmpz_tdiv_r' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::big_compare(mpz const&, mpz const&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1561: undefined reference to `__gmpz_cmp' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::size_info(mpz const&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1142: undefined reference to `__gmpz_size' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::mpz_manager()': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:141: undefined reference to `__gmpz_init' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:142: undefined reference to `__gmpz_init' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:143: undefined reference to `__gmpz_init' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:144: undefined reference to `__gmpz_set_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:145: undefined reference to `__gmpz_set_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:146: undefined reference to `__gmpz_add' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:147: undefined reference to `__gmpz_init' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:150: undefined reference to `__gmpz_set_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:151: undefined reference to `__gmpz_mul' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:152: undefined reference to `__gmpz_set_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:153: undefined reference to `__gmpz_add' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:154: undefined reference to `__gmpz_init' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:155: undefined reference to `__gmpz_init' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:159: undefined reference to `__gmpz_set_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:160: undefined reference to `__gmpz_set_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:161: undefined reference to `__gmpz_mul' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:162: undefined reference to `__gmpz_set_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:163: undefined reference to `__gmpz_add' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:164: undefined reference to `__gmpz_neg' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:165: undefined reference to `__gmpz_sub_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::~mpz_manager()': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:179: undefined reference to `__gmpz_clear' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:180: undefined reference to `__gmpz_clear' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:181: undefined reference to `__gmpz_clear' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:182: undefined reference to `__gmpz_clear' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:183: undefined reference to `__gmpz_clear' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o):/home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:184: more undefined references to `__gmpz_clear' follow /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::neg(mpz&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:658: undefined reference to `__gmpz_neg' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::abs(mpz&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:680: undefined reference to `__gmpz_abs' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::gcd(mpz const&, mpz const&, mpz&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:891: undefined reference to `__gmpz_gcd' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::bitwise_or(mpz const&, mpz const&, mpz&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1376: undefined reference to `__gmpz_ior' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::bitwise_and(mpz const&, mpz const&, mpz&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1411: undefined reference to `__gmpz_and' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::bitwise_xor(mpz const&, mpz const&, mpz&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1453: undefined reference to `__gmpz_xor' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::set_digits(mpz&, unsigned int, unsigned int const*)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:486: undefined reference to `__gmpz_set_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:492: undefined reference to `__gmpz_mul_2exp' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:493: undefined reference to `__gmpz_set_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:494: undefined reference to `__gmpz_add' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::is_uint64(mpz const&) const': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1582: undefined reference to `__gmpz_cmp' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::is_int64(mpz const&) const': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1609: undefined reference to `__gmpz_cmp' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1609: undefined reference to `__gmpz_cmp' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::get_uint64(mpz const&) const': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1623: undefined reference to `__gmpz_get_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::get_int64(mpz const&) const': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1656: undefined reference to `__gmpz_get_si' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::get_double(mpz const&) const': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1691: undefined reference to `__gmpz_get_d' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::display(std::ostream&, mpz const&) const': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1714: undefined reference to `__gmpz_sizeinbase' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1716: undefined reference to `__gmpz_get_str' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::display_hex(std::ostream&, mpz const&, unsigned int) const': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1772: undefined reference to `__gmpz_sizeinbase' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1776: undefined reference to `__gmpz_get_str' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::display_bin(std::ostream&, mpz const&, unsigned int) const': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1827: undefined reference to `__gmpz_sizeinbase' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1830: undefined reference to `__gmpz_get_str' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::hash(mpz const&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1856: undefined reference to `__gmpz_get_si' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::power(mpz const&, unsigned int, mpz&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1865: undefined reference to `__gmpz_pow_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::is_power_of_two(mpz const&, unsigned int&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:1952: undefined reference to `__gmpz_popcount' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::machine_div2k(mpz&, unsigned int)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:2099: undefined reference to `__gmpz_tdiv_q_2exp' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:2101: undefined reference to `__gmpz_swap' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::mul2k(mpz&, unsigned int)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:2164: undefined reference to `__gmpz_mul_2exp' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::power_of_two_multiple(mpz const&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:2225: undefined reference to `__gmpz_scan1' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::log2(mpz const&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:2245: undefined reference to `__gmpz_sizeinbase' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::mlog2(mpz const&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:2268: undefined reference to `__gmpz_neg' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:2269: undefined reference to `__gmpz_sizeinbase' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::decompose(mpz const&, svector&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:2455: undefined reference to `__gmpz_set' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:2456: undefined reference to `__gmpz_abs' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:2458: undefined reference to `__gmpz_tdiv_r_2exp' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:2459: undefined reference to `__gmpz_get_ui' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:2461: undefined reference to `__gmpz_tdiv_q_2exp' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::ensure_mpz_t::ensure_mpz_t(mpz const&)': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:376: undefined reference to `__gmpz_init' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:377: undefined reference to `__gmpz_set_si' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(mpz.cpp.o): in function `mpz_manager::ensure_mpz_t::~ensure_mpz_t()': /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/a4f52a881c1bfeb879494f8060bbc8240092fe74/source_subfolder/src/util/mpz.cpp:387: undefined reference to `__gmpz_clear' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(scoped_timer.cpp.o): in function `std::thread::thread(void (&)(unsigned int, event_handler*, std::timed_mutex*), unsigned int&, event_handler*&, std::timed_mutex*&&)': /usr/include/c++/9/thread:126: undefined reference to `pthread_create' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(sat_solver.cpp.o): in function `std::thread::thread(sat::solver::check_par(unsigned int, sat::literal const*)::{lambda()#2}&&)': /usr/include/c++/9/thread:126: undefined reference to `pthread_create' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(tactical.cpp.o): in function `std::thread::thread const&, sref_buffer&)::{lambda()#2}, , void>(par_tactical::operator()(ref const&, sref_buffer&)::{lambda()#2}&&)': /usr/include/c++/9/thread:126: undefined reference to `pthread_create' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(tactical.cpp.o): in function `std::thread::thread const&, sref_buffer&)::{lambda()#2}, , void>(par_and_then_tactical::operator()(ref const&, sref_buffer&)::{lambda()#2}&&)': /usr/include/c++/9/thread:126: undefined reference to `pthread_create' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(parallel_tactic.cpp.o): in function `std::thread::thread&)::{lambda()#1}, , void>(parallel_tactic::solve(ref&)::{lambda()#1}&&)': /usr/include/c++/9/thread:126: undefined reference to `pthread_create' /usr/bin/ld: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/package/a4f52a881c1bfeb879494f8060bbc8240092fe74/lib/libz3.a(smt_parallel.cpp.o):/usr/include/c++/9/thread:126: more undefined references to `pthread_create' follow collect2: error: ld returned 1 exit status make[2]: *** [cli/CMakeFiles/cppcheck.dir/build.make:235: bin/cppcheck] Error 1 make[1]: *** [CMakeFiles/Makefile2:483: cli/CMakeFiles/cppcheck.dir/all] Error 2 make: *** [Makefile:149: all] Error 2 cppcheck/2.7.4: WARN: Using the new toolchains and generators without specifying a build profile (e.g: -pr:b=default) is discouraged and might cause failures and unexpected behavior cppcheck/2.7.4: ERROR: Package '1b97840e1a6eccf904b185de8c21708c99067a00' build failed cppcheck/2.7.4: WARN: Build folder /home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/build/Debug ERROR: cppcheck/2.7.4: Error in build() method, line 55 cmake.build() ConanException: Error 2 while executing cmake --build "/home/conan/w/prod/BuildSingleReference/.conan/data/cppcheck/2.7.4/_/_/build/1b97840e1a6eccf904b185de8c21708c99067a00/build/Debug" '--' '-j3'