******************************************************************************** conan test cci-ca582a7d/recipes/z3/all/test_package/conanfile.py z3/4.11.2@#223216353400185aa66a8861f67e7da3 -pr /home/conan/w/prod-v1/bsr/80233/daedb/profile_linux_13_libcpp_clang_debug_64.z3-shared-False.txt -c tools.system.package_manager:mode=install -c tools.system.package_manager:sudo=True ******************************************************************************** Configuration: [settings] arch=x86_64 build_type=Debug compiler=clang compiler.libcxx=libc++ compiler.version=13 os=Linux [options] z3:shared=False [build_requires] [env] [conf] tools.system.package_manager:mode=install tools.system.package_manager:sudo=True z3/4.11.2 (test package): Installing package Requirements z3/4.11.2 from local cache - Cache Packages z3/4.11.2:bb3af2224a11e7add026b0bbceb97245a55d1081 - Cache Installing (downloading, building) binaries... z3/4.11.2: Already installed! z3/4.11.2 (test package): Generator 'CMakeToolchain' calling 'generate()' z3/4.11.2 (test package): Preset 'debug' added to CMakePresets.json. Invoke it manually using 'cmake --preset debug' z3/4.11.2 (test package): If your CMake version is not compatible with CMakePresets (<3.19) call cmake like: 'cmake -G "Unix Makefiles" -DCMAKE_TOOLCHAIN_FILE=/home/conan/w/prod-v1/bsr/cci-ca582a7d/recipes/z3/all/test_package/build/Debug/generators/conan_toolchain.cmake -DCMAKE_POLICY_DEFAULT_CMP0091=NEW -DCMAKE_BUILD_TYPE=Debug' z3/4.11.2 (test package): Generator txt created conanbuildinfo.txt z3/4.11.2 (test package): Generator 'VirtualRunEnv' calling 'generate()' z3/4.11.2 (test package): Generator 'CMakeDeps' calling 'generate()' z3/4.11.2 (test package): Aggregating env generators z3/4.11.2 (test package): Generated conaninfo.txt z3/4.11.2 (test package): Generated graphinfo Using lockfile: '/home/conan/w/prod-v1/bsr/cci-ca582a7d/recipes/z3/all/test_package/build/Debug/generators/conan.lock' Using cached profile from lockfile [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 z3/4.11.2 (test package): Calling build() z3/4.11.2 (test package): CMake command: cmake -G "Unix Makefiles" -DCMAKE_TOOLCHAIN_FILE="/home/conan/w/prod-v1/bsr/cci-ca582a7d/recipes/z3/all/test_package/build/Debug/generators/conan_toolchain.cmake" -DCMAKE_POLICY_DEFAULT_CMP0091="NEW" -DCMAKE_BUILD_TYPE="Debug" "/home/conan/w/prod-v1/bsr/cci-ca582a7d/recipes/z3/all/test_package/." ----Running------ > cmake -G "Unix Makefiles" -DCMAKE_TOOLCHAIN_FILE="/home/conan/w/prod-v1/bsr/cci-ca582a7d/recipes/z3/all/test_package/build/Debug/generators/conan_toolchain.cmake" -DCMAKE_POLICY_DEFAULT_CMP0091="NEW" -DCMAKE_BUILD_TYPE="Debug" "/home/conan/w/prod-v1/bsr/cci-ca582a7d/recipes/z3/all/test_package/." ----------------- -- Using Conan toolchain: /home/conan/w/prod-v1/bsr/cci-ca582a7d/recipes/z3/all/test_package/build/Debug/generators/conan_toolchain.cmake -- The CXX compiler identification is Clang 13.0.0 -- Check for working CXX compiler: /usr/local/bin/clang++ -- Check for working CXX compiler: /usr/local/bin/clang++ -- works -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Detecting CXX compile features -- Detecting CXX compile features - done -- Conan: Component target declared 'z3::libz3' -- Configuring done -- Generating done -- Build files have been written to: /home/conan/w/prod-v1/bsr/cci-ca582a7d/recipes/z3/all/test_package/build/Debug z3/4.11.2 (test package): CMake command: cmake --build "/home/conan/w/prod-v1/bsr/cci-ca582a7d/recipes/z3/all/test_package/build/Debug" '--' '-j3' ----Running------ > cmake --build "/home/conan/w/prod-v1/bsr/cci-ca582a7d/recipes/z3/all/test_package/build/Debug" '--' '-j3' ----------------- Scanning dependencies of target test_package [ 50%] Building CXX object CMakeFiles/test_package.dir/test_package.cpp.o [100%] Linking CXX executable test_package CMakeFiles/test_package.dir/build.make:84: recipe for target 'test_package' failed CMakeFiles/Makefile2:75: recipe for target 'CMakeFiles/test_package.dir/all' failed Makefile:83: recipe for target 'all' failed ld: error: undefined symbol: std::__cxx11::basic_string, std::allocator >::~basic_string() >>> referenced by api_ast.cpp:140 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/api/api_ast.cpp:140) >>> api_ast.cpp.o:(Z3_add_rec_def) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by api_ast.cpp:143 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/api/api_ast.cpp:143) >>> api_ast.cpp.o:(Z3_add_rec_def) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by api_ast.cpp:140 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/api/api_ast.cpp:140) >>> api_ast.cpp.o:(Z3_add_rec_def) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced 5587 more times ld: error: undefined symbol: std::__cxx11::basic_string, std::allocator >::c_str() const >>> referenced by api_ast.cpp:141 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/api/api_ast.cpp:141) >>> api_ast.cpp.o:(Z3_add_rec_def) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by string_buffer.h:93 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/util/string_buffer.h:93) >>> symbol.cpp.o:(string_buffer<128u>::append(int)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by z3_exception.cpp:71 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/util/z3_exception.cpp:71) >>> z3_exception.cpp.o:(default_exception::msg() const) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced 104 more times ld: error: undefined symbol: std::__cxx11::basic_ostringstream, std::allocator >::basic_ostringstream() >>> referenced by api_ast.cpp:352 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/api/api_ast.cpp:352) >>> api_ast.cpp.o:(Z3_get_symbol_string) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by api_ast.cpp:788 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/api/api_ast.cpp:788) >>> api_ast.cpp.o:(Z3_simplify_get_help) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by api_ast.cpp:982 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/api/api_ast.cpp:982) >>> api_ast.cpp.o:(Z3_ast_to_string) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced 103 more times ld: error: undefined symbol: std::ostream::operator<<(unsigned int) >>> referenced by api_ast.cpp:353 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/api/api_ast.cpp:353) >>> api_ast.cpp.o:(Z3_get_symbol_string) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by region.cpp:24 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/util/region.cpp:24) >>> region.cpp.o:(region::display_mem_stats(std::ostream&) const) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by ast.cpp:115 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/ast/ast.cpp:115) >>> ast.cpp.o:(parameter::display(std::ostream&) const) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced 8323 more times ld: error: undefined symbol: std::__cxx11::basic_ostringstream, std::allocator >::str() const >>> referenced by api_ast.cpp:354 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/api/api_ast.cpp:354) >>> api_ast.cpp.o:(Z3_get_symbol_string) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by api_ast.cpp:792 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/api/api_ast.cpp:792) >>> api_ast.cpp.o:(Z3_simplify_get_help) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by api_ast.cpp:1000 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/api/api_ast.cpp:1000) >>> api_ast.cpp.o:(Z3_ast_to_string) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced 104 more times ld: error: undefined symbol: std::__cxx11::basic_ostringstream, std::allocator >::~basic_ostringstream() >>> referenced by api_ast.cpp:355 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/api/api_ast.cpp:355) >>> api_ast.cpp.o:(Z3_get_symbol_string) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by api_ast.cpp:355 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/api/api_ast.cpp:355) >>> api_ast.cpp.o:(Z3_get_symbol_string) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by api_ast.cpp:793 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/api/api_ast.cpp:793) >>> api_ast.cpp.o:(Z3_simplify_get_help) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced 174 more times ld: error: undefined symbol: std::__cxx11::basic_string, std::allocator >::append(char const*) >>> referenced by basic_string.h:6145 (/usr/local/bin/../lib/gcc/x86_64-linux-gnu/10.3.0/../../../../include/c++/10.3.0/bits/basic_string.h:6145) >>> api_ast.cpp.o:(std::__cxx11::basic_string, std::allocator > std::operator+, std::allocator >(std::__cxx11::basic_string, std::allocator >&&, char const*)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by ast_pp_dot.cpp:18 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/ast/ast_pp_dot.cpp:18) >>> ast_pp_dot.cpp.o:(escape_dot(std::__cxx11::basic_string, std::allocator > const&)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by basic_string.h:6073 (/usr/local/bin/../lib/gcc/x86_64-linux-gnu/10.3.0/../../../../include/c++/10.3.0/bits/basic_string.h:6073) >>> dl_instruction.cpp.o:(std::__cxx11::basic_string, std::allocator > std::operator+, std::allocator >(std::__cxx11::basic_string, std::allocator > const&, char const*)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a ld: error: undefined symbol: std::__cxx11::basic_string, std::allocator >::basic_string(std::__cxx11::basic_string, std::allocator >&&) >>> referenced by basic_string.h:6145 (/usr/local/bin/../lib/gcc/x86_64-linux-gnu/10.3.0/../../../../include/c++/10.3.0/bits/basic_string.h:6145) >>> api_ast.cpp.o:(std::__cxx11::basic_string, std::allocator > std::operator+, std::allocator >(std::__cxx11::basic_string, std::allocator >&&, char const*)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by z3_exception.h:43 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/util/z3_exception.h:43) >>> api_ast.cpp.o:(default_exception::default_exception(std::__cxx11::basic_string, std::allocator >&&)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by params.cpp:42 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/util/params.cpp:42) >>> params.cpp.o:(norm_param_name[abi:cxx11](char const*)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced 22 more times ld: error: undefined symbol: std::basic_ostream >& std::operator<< >(std::basic_ostream >&, char const*) >>> referenced by ast_pp.h:60 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/ast/ast_pp.h:60) >>> api_ast.cpp.o:(operator+[abi:cxx11](char const*, mk_pp const&)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by memory_manager.cpp:193 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/util/memory_manager.cpp:193) >>> memory_manager.cpp.o:(memory::display_max_usage(std::ostream&)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by memory_manager.cpp:195 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/util/memory_manager.cpp:195) >>> memory_manager.cpp.o:(memory::display_max_usage(std::ostream&)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced 245854 more times ld: error: undefined symbol: std::__cxx11::basic_string, std::allocator >::operator+=(char const*) >>> referenced by ast_smt_pp.h:73 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/ast/ast_smt_pp.h:73) >>> api_ast.cpp.o:(ast_smt_pp::add_attributes(char const*)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by params.cpp:202 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/util/params.cpp:202) >>> params.cpp.o:(param_descrs::imp::display(std::ostream&, unsigned int, bool, bool, bool) const) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by params.cpp:203 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/util/params.cpp:203) >>> params.cpp.o:(param_descrs::imp::display(std::ostream&, unsigned int, bool, bool, bool) const) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced 48 more times ld: error: undefined symbol: std::allocator::allocator() >>> referenced by vector.h:198 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/util/vector.h:198) >>> api_ast.cpp.o:(vector::expand_vector()) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by vector.h:198 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/util/vector.h:198) >>> api_ast.cpp.o:(vector::expand_vector()) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by symbol.cpp:149 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/util/symbol.cpp:149) >>> symbol.cpp.o:(symbol::str[abi:cxx11]() const) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced 1808 more times ld: error: undefined symbol: std::allocator::~allocator() >>> referenced by vector.h:198 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/util/vector.h:198) >>> api_ast.cpp.o:(vector::expand_vector()) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by vector.h:198 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/util/vector.h:198) >>> api_ast.cpp.o:(vector::expand_vector()) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by symbol.cpp:149 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/util/symbol.cpp:149) >>> symbol.cpp.o:(symbol::str[abi:cxx11]() const) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced 2040 more times ld: error: undefined symbol: std::__cxx11::basic_string, std::allocator >::_M_local_data() >>> referenced by basic_string.h:526 (/usr/local/bin/../lib/gcc/x86_64-linux-gnu/10.3.0/../../../../include/c++/10.3.0/bits/basic_string.h:526) >>> api_ast.cpp.o:(std::__cxx11::basic_string, std::allocator >::basic_string >(char const*, std::allocator const&)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by basic_string.h:541 (/usr/local/bin/../lib/gcc/x86_64-linux-gnu/10.3.0/../../../../include/c++/10.3.0/bits/basic_string.h:541) >>> symbol.cpp.o:(std::__cxx11::basic_string, std::allocator >::basic_string >(unsigned long, char, std::allocator const&)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a ld: error: undefined symbol: std::__cxx11::basic_string, std::allocator >::_Alloc_hider::_Alloc_hider(char*, std::allocator const&) >>> referenced by basic_string.h:526 (/usr/local/bin/../lib/gcc/x86_64-linux-gnu/10.3.0/../../../../include/c++/10.3.0/bits/basic_string.h:526) >>> api_ast.cpp.o:(std::__cxx11::basic_string, std::allocator >::basic_string >(char const*, std::allocator const&)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by basic_string.h:541 (/usr/local/bin/../lib/gcc/x86_64-linux-gnu/10.3.0/../../../../include/c++/10.3.0/bits/basic_string.h:541) >>> symbol.cpp.o:(std::__cxx11::basic_string, std::allocator >::basic_string >(unsigned long, char, std::allocator const&)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a ld: error: undefined symbol: std::allocator::~allocator() >>> referenced by basic_string.h:150 (/usr/local/bin/../lib/gcc/x86_64-linux-gnu/10.3.0/../../../../include/c++/10.3.0/bits/basic_string.h:150) >>> api_ast.cpp.o:(std::__cxx11::basic_string, std::allocator >::_Alloc_hider::~_Alloc_hider()) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a ld: error: undefined symbol: std::__throw_logic_error(char const*) >>> referenced by basic_string.tcc:212 (/usr/local/bin/../lib/gcc/x86_64-linux-gnu/10.3.0/../../../../include/c++/10.3.0/bits/basic_string.tcc:212) >>> api_ast.cpp.o:(void std::__cxx11::basic_string, std::allocator >::_M_construct(char const*, char const*, std::forward_iterator_tag)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a ld: error: undefined symbol: std::__cxx11::basic_string, std::allocator >::_M_create(unsigned long&, unsigned long) >>> referenced by basic_string.tcc:219 (/usr/local/bin/../lib/gcc/x86_64-linux-gnu/10.3.0/../../../../include/c++/10.3.0/bits/basic_string.tcc:219) >>> api_ast.cpp.o:(void std::__cxx11::basic_string, std::allocator >::_M_construct(char const*, char const*, std::forward_iterator_tag)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a ld: error: undefined symbol: std::__cxx11::basic_string, std::allocator >::_M_data(char*) >>> referenced by basic_string.tcc:219 (/usr/local/bin/../lib/gcc/x86_64-linux-gnu/10.3.0/../../../../include/c++/10.3.0/bits/basic_string.tcc:219) >>> api_ast.cpp.o:(void std::__cxx11::basic_string, std::allocator >::_M_construct(char const*, char const*, std::forward_iterator_tag)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a ld: error: undefined symbol: std::__cxx11::basic_string, std::allocator >::_M_capacity(unsigned long) >>> referenced by basic_string.tcc:220 (/usr/local/bin/../lib/gcc/x86_64-linux-gnu/10.3.0/../../../../include/c++/10.3.0/bits/basic_string.tcc:220) >>> api_ast.cpp.o:(void std::__cxx11::basic_string, std::allocator >::_M_construct(char const*, char const*, std::forward_iterator_tag)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a ld: error: undefined symbol: std::__cxx11::basic_string, std::allocator >::_M_data() const >>> referenced by basic_string.tcc:225 (/usr/local/bin/../lib/gcc/x86_64-linux-gnu/10.3.0/../../../../include/c++/10.3.0/bits/basic_string.tcc:225) >>> api_ast.cpp.o:(void std::__cxx11::basic_string, std::allocator >::_M_construct(char const*, char const*, std::forward_iterator_tag)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a ld: error: too many errors emitted, stopping now (use -error-limit=0 to see all errors) clang-13: error: linker command failed with exit code 1 (use -v to see invocation) make[2]: *** [test_package] Error 1 make[1]: *** [CMakeFiles/test_package.dir/all] Error 2 make: *** [all] Error 2 z3/4.11.2 (test package): 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 z3/4.11.2 (test package): 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 ERROR: z3/4.11.2 (test package): Error in build() method, line 21 cmake.build() ConanException: Error 2 while executing cmake --build "/home/conan/w/prod-v1/bsr/cci-ca582a7d/recipes/z3/all/test_package/build/Debug" '--' '-j3' ******************************************************************************** conan test cci-ca582a7d/recipes/z3/all/test_v1_package/conanfile.py z3/4.11.2@#223216353400185aa66a8861f67e7da3 -pr /home/conan/w/prod-v1/bsr/80233/daedb/profile_linux_13_libcpp_clang_debug_64.z3-shared-False.txt -c tools.system.package_manager:mode=install -c tools.system.package_manager:sudo=True ******************************************************************************** Configuration: [settings] arch=x86_64 build_type=Debug compiler=clang compiler.libcxx=libc++ compiler.version=13 os=Linux [options] z3:shared=False [build_requires] [env] [conf] tools.system.package_manager:mode=install tools.system.package_manager:sudo=True z3/4.11.2 (test package): Installing package Requirements z3/4.11.2 from local cache - Cache Packages z3/4.11.2:bb3af2224a11e7add026b0bbceb97245a55d1081 - Cache Installing (downloading, building) binaries... z3/4.11.2: Already installed! z3/4.11.2 (test package): Generator cmake created conanbuildinfo.cmake z3/4.11.2 (test package): Generator txt created conanbuildinfo.txt z3/4.11.2 (test package): Generator cmake_find_package_multi created Z3ConfigVersion.cmake z3/4.11.2 (test package): Generator cmake_find_package_multi created Z3Target-debug.cmake z3/4.11.2 (test package): Generator cmake_find_package_multi created Z3Targets.cmake z3/4.11.2 (test package): Generator cmake_find_package_multi created Z3Config.cmake z3/4.11.2 (test package): Aggregating env generators z3/4.11.2 (test package): Generated conaninfo.txt z3/4.11.2 (test package): Generated graphinfo Using lockfile: '/home/conan/w/prod-v1/bsr/cci-ca582a7d/recipes/z3/all/test_v1_package/build/1b8c8cba7c4cd9858b76a393d6654a7d8eeb092d/conan.lock' Using cached profile from lockfile [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 z3/4.11.2 (test package): Calling build() ----Running------ > cd '/home/conan/w/prod-v1/bsr/cci-ca582a7d/recipes/z3/all/test_v1_package/build/1b8c8cba7c4cd9858b76a393d6654a7d8eeb092d' && cmake -G "Unix Makefiles" -DCMAKE_BUILD_TYPE="Debug" -DCONAN_IN_LOCAL_CACHE="OFF" -DCONAN_COMPILER="clang" -DCONAN_COMPILER_VERSION="13" -DCONAN_CXX_FLAGS="-m64" -DCONAN_SHARED_LINKER_FLAGS="-m64" -DCONAN_C_FLAGS="-m64" -DCONAN_LIBCXX="libc++" -DCMAKE_INSTALL_PREFIX="/home/conan/w/prod-v1/bsr/cci-ca582a7d/recipes/z3/all/test_v1_package/build/1b8c8cba7c4cd9858b76a393d6654a7d8eeb092d/package" -DCMAKE_INSTALL_BINDIR="bin" -DCMAKE_INSTALL_SBINDIR="bin" -DCMAKE_INSTALL_LIBEXECDIR="bin" -DCMAKE_INSTALL_LIBDIR="lib" -DCMAKE_INSTALL_INCLUDEDIR="include" -DCMAKE_INSTALL_OLDINCLUDEDIR="include" -DCMAKE_INSTALL_DATAROOTDIR="share" -DCMAKE_PREFIX_PATH="/home/conan/w/prod-v1/bsr/cci-ca582a7d/recipes/z3/all/test_v1_package/build/1b8c8cba7c4cd9858b76a393d6654a7d8eeb092d" -DCMAKE_MODULE_PATH="/home/conan/w/prod-v1/bsr/cci-ca582a7d/recipes/z3/all/test_v1_package/build/1b8c8cba7c4cd9858b76a393d6654a7d8eeb092d" -DCMAKE_EXPORT_NO_PACKAGE_REGISTRY="ON" -DCONAN_EXPORTED="1" -Wno-dev '/home/conan/w/prod-v1/bsr/cci-ca582a7d/recipes/z3/all/test_v1_package' ----------------- -- The C compiler identification is Clang 13.0.0 -- The CXX compiler identification is Clang 13.0.0 -- Check for working C compiler: /usr/local/bin/clang -- Check for working C compiler: /usr/local/bin/clang -- works -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Detecting C compile features -- Detecting C compile features - done -- Check for working CXX compiler: /usr/local/bin/clang++ -- Check for working CXX compiler: /usr/local/bin/clang++ -- works -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Detecting CXX compile features -- Detecting CXX compile features - done -- Conan: called by CMake conan helper -- Conan: Adjusting output directories -- Conan: Using cmake targets configuration -- Library z3 found /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a -- Conan: Adjusting default RPATHs Conan policies -- Conan: Adjusting language standard -- Conan: Compiler Clang>=8, checking major version 13 -- Conan: Checking correct version: 13 -- Conan: C++ stdlib: libc++ -- Library z3 found /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a -- Found: /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a -- Library z3 found /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a -- Found: /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a -- Configuring done -- Generating done -- Build files have been written to: /home/conan/w/prod-v1/bsr/cci-ca582a7d/recipes/z3/all/test_v1_package/build/1b8c8cba7c4cd9858b76a393d6654a7d8eeb092d ----Running------ > cmake --build '/home/conan/w/prod-v1/bsr/cci-ca582a7d/recipes/z3/all/test_v1_package/build/1b8c8cba7c4cd9858b76a393d6654a7d8eeb092d' '--' '-j3' ----------------- Scanning dependencies of target test_package [ 50%] Building CXX object test_package/CMakeFiles/test_package.dir/test_package.cpp.o [100%] Linking CXX executable ../bin/test_package test_package/CMakeFiles/test_package.dir/build.make:84: recipe for target 'bin/test_package' failed CMakeFiles/Makefile2:93: recipe for target 'test_package/CMakeFiles/test_package.dir/all' failed Makefile:83: recipe for target 'all' failed CMake Warning: Manually-specified variables were not used by the project: CMAKE_EXPORT_NO_PACKAGE_REGISTRY CMAKE_INSTALL_BINDIR CMAKE_INSTALL_DATAROOTDIR CMAKE_INSTALL_INCLUDEDIR CMAKE_INSTALL_LIBDIR CMAKE_INSTALL_LIBEXECDIR CMAKE_INSTALL_OLDINCLUDEDIR CMAKE_INSTALL_SBINDIR ld: error: undefined symbol: std::__cxx11::basic_string, std::allocator >::~basic_string() >>> referenced by api_ast.cpp:140 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/api/api_ast.cpp:140) >>> api_ast.cpp.o:(Z3_add_rec_def) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by api_ast.cpp:143 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/api/api_ast.cpp:143) >>> api_ast.cpp.o:(Z3_add_rec_def) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by api_ast.cpp:140 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/api/api_ast.cpp:140) >>> api_ast.cpp.o:(Z3_add_rec_def) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced 5587 more times ld: error: undefined symbol: std::__cxx11::basic_string, std::allocator >::c_str() const >>> referenced by api_ast.cpp:141 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/api/api_ast.cpp:141) >>> api_ast.cpp.o:(Z3_add_rec_def) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by string_buffer.h:93 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/util/string_buffer.h:93) >>> symbol.cpp.o:(string_buffer<128u>::append(int)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by z3_exception.cpp:71 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/util/z3_exception.cpp:71) >>> z3_exception.cpp.o:(default_exception::msg() const) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced 104 more times ld: error: undefined symbol: std::__cxx11::basic_ostringstream, std::allocator >::basic_ostringstream() >>> referenced by api_ast.cpp:352 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/api/api_ast.cpp:352) >>> api_ast.cpp.o:(Z3_get_symbol_string) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by api_ast.cpp:788 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/api/api_ast.cpp:788) >>> api_ast.cpp.o:(Z3_simplify_get_help) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by api_ast.cpp:982 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/api/api_ast.cpp:982) >>> api_ast.cpp.o:(Z3_ast_to_string) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced 103 more times ld: error: undefined symbol: std::ostream::operator<<(unsigned int) >>> referenced by api_ast.cpp:353 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/api/api_ast.cpp:353) >>> api_ast.cpp.o:(Z3_get_symbol_string) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by region.cpp:24 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/util/region.cpp:24) >>> region.cpp.o:(region::display_mem_stats(std::ostream&) const) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by ast.cpp:115 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/ast/ast.cpp:115) >>> ast.cpp.o:(parameter::display(std::ostream&) const) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced 8323 more times ld: error: undefined symbol: std::__cxx11::basic_ostringstream, std::allocator >::str() const >>> referenced by api_ast.cpp:354 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/api/api_ast.cpp:354) >>> api_ast.cpp.o:(Z3_get_symbol_string) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by api_ast.cpp:792 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/api/api_ast.cpp:792) >>> api_ast.cpp.o:(Z3_simplify_get_help) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by api_ast.cpp:1000 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/api/api_ast.cpp:1000) >>> api_ast.cpp.o:(Z3_ast_to_string) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced 104 more times ld: error: undefined symbol: std::__cxx11::basic_ostringstream, std::allocator >::~basic_ostringstream() >>> referenced by api_ast.cpp:355 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/api/api_ast.cpp:355) >>> api_ast.cpp.o:(Z3_get_symbol_string) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by api_ast.cpp:355 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/api/api_ast.cpp:355) >>> api_ast.cpp.o:(Z3_get_symbol_string) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by api_ast.cpp:793 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/api/api_ast.cpp:793) >>> api_ast.cpp.o:(Z3_simplify_get_help) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced 174 more times ld: error: undefined symbol: std::__cxx11::basic_string, std::allocator >::append(char const*) >>> referenced by basic_string.h:6145 (/usr/local/bin/../lib/gcc/x86_64-linux-gnu/10.3.0/../../../../include/c++/10.3.0/bits/basic_string.h:6145) >>> api_ast.cpp.o:(std::__cxx11::basic_string, std::allocator > std::operator+, std::allocator >(std::__cxx11::basic_string, std::allocator >&&, char const*)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by ast_pp_dot.cpp:18 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/ast/ast_pp_dot.cpp:18) >>> ast_pp_dot.cpp.o:(escape_dot(std::__cxx11::basic_string, std::allocator > const&)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by basic_string.h:6073 (/usr/local/bin/../lib/gcc/x86_64-linux-gnu/10.3.0/../../../../include/c++/10.3.0/bits/basic_string.h:6073) >>> dl_instruction.cpp.o:(std::__cxx11::basic_string, std::allocator > std::operator+, std::allocator >(std::__cxx11::basic_string, std::allocator > const&, char const*)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a ld: error: undefined symbol: std::__cxx11::basic_string, std::allocator >::basic_string(std::__cxx11::basic_string, std::allocator >&&) >>> referenced by basic_string.h:6145 (/usr/local/bin/../lib/gcc/x86_64-linux-gnu/10.3.0/../../../../include/c++/10.3.0/bits/basic_string.h:6145) >>> api_ast.cpp.o:(std::__cxx11::basic_string, std::allocator > std::operator+, std::allocator >(std::__cxx11::basic_string, std::allocator >&&, char const*)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by z3_exception.h:43 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/util/z3_exception.h:43) >>> api_ast.cpp.o:(default_exception::default_exception(std::__cxx11::basic_string, std::allocator >&&)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by params.cpp:42 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/util/params.cpp:42) >>> params.cpp.o:(norm_param_name[abi:cxx11](char const*)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced 22 more times ld: error: undefined symbol: std::basic_ostream >& std::operator<< >(std::basic_ostream >&, char const*) >>> referenced by ast_pp.h:60 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/ast/ast_pp.h:60) >>> api_ast.cpp.o:(operator+[abi:cxx11](char const*, mk_pp const&)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by memory_manager.cpp:193 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/util/memory_manager.cpp:193) >>> memory_manager.cpp.o:(memory::display_max_usage(std::ostream&)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by memory_manager.cpp:195 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/util/memory_manager.cpp:195) >>> memory_manager.cpp.o:(memory::display_max_usage(std::ostream&)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced 245854 more times ld: error: undefined symbol: std::__cxx11::basic_string, std::allocator >::operator+=(char const*) >>> referenced by ast_smt_pp.h:73 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/ast/ast_smt_pp.h:73) >>> api_ast.cpp.o:(ast_smt_pp::add_attributes(char const*)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by params.cpp:202 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/util/params.cpp:202) >>> params.cpp.o:(param_descrs::imp::display(std::ostream&, unsigned int, bool, bool, bool) const) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by params.cpp:203 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/util/params.cpp:203) >>> params.cpp.o:(param_descrs::imp::display(std::ostream&, unsigned int, bool, bool, bool) const) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced 48 more times ld: error: undefined symbol: std::allocator::allocator() >>> referenced by vector.h:198 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/util/vector.h:198) >>> api_ast.cpp.o:(vector::expand_vector()) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by vector.h:198 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/util/vector.h:198) >>> api_ast.cpp.o:(vector::expand_vector()) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by symbol.cpp:149 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/util/symbol.cpp:149) >>> symbol.cpp.o:(symbol::str[abi:cxx11]() const) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced 1808 more times ld: error: undefined symbol: std::allocator::~allocator() >>> referenced by vector.h:198 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/util/vector.h:198) >>> api_ast.cpp.o:(vector::expand_vector()) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by vector.h:198 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/util/vector.h:198) >>> api_ast.cpp.o:(vector::expand_vector()) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by symbol.cpp:149 (/home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/build/bb3af2224a11e7add026b0bbceb97245a55d1081/src/src/util/symbol.cpp:149) >>> symbol.cpp.o:(symbol::str[abi:cxx11]() const) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced 2040 more times ld: error: undefined symbol: std::__cxx11::basic_string, std::allocator >::_M_local_data() >>> referenced by basic_string.h:526 (/usr/local/bin/../lib/gcc/x86_64-linux-gnu/10.3.0/../../../../include/c++/10.3.0/bits/basic_string.h:526) >>> api_ast.cpp.o:(std::__cxx11::basic_string, std::allocator >::basic_string >(char const*, std::allocator const&)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by basic_string.h:541 (/usr/local/bin/../lib/gcc/x86_64-linux-gnu/10.3.0/../../../../include/c++/10.3.0/bits/basic_string.h:541) >>> symbol.cpp.o:(std::__cxx11::basic_string, std::allocator >::basic_string >(unsigned long, char, std::allocator const&)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a ld: error: undefined symbol: std::__cxx11::basic_string, std::allocator >::_Alloc_hider::_Alloc_hider(char*, std::allocator const&) >>> referenced by basic_string.h:526 (/usr/local/bin/../lib/gcc/x86_64-linux-gnu/10.3.0/../../../../include/c++/10.3.0/bits/basic_string.h:526) >>> api_ast.cpp.o:(std::__cxx11::basic_string, std::allocator >::basic_string >(char const*, std::allocator const&)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a >>> referenced by basic_string.h:541 (/usr/local/bin/../lib/gcc/x86_64-linux-gnu/10.3.0/../../../../include/c++/10.3.0/bits/basic_string.h:541) >>> symbol.cpp.o:(std::__cxx11::basic_string, std::allocator >::basic_string >(unsigned long, char, std::allocator const&)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a ld: error: undefined symbol: std::allocator::~allocator() >>> referenced by basic_string.h:150 (/usr/local/bin/../lib/gcc/x86_64-linux-gnu/10.3.0/../../../../include/c++/10.3.0/bits/basic_string.h:150) >>> api_ast.cpp.o:(std::__cxx11::basic_string, std::allocator >::_Alloc_hider::~_Alloc_hider()) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a ld: error: undefined symbol: std::__throw_logic_error(char const*) >>> referenced by basic_string.tcc:212 (/usr/local/bin/../lib/gcc/x86_64-linux-gnu/10.3.0/../../../../include/c++/10.3.0/bits/basic_string.tcc:212) >>> api_ast.cpp.o:(void std::__cxx11::basic_string, std::allocator >::_M_construct(char const*, char const*, std::forward_iterator_tag)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a ld: error: undefined symbol: std::__cxx11::basic_string, std::allocator >::_M_create(unsigned long&, unsigned long) >>> referenced by basic_string.tcc:219 (/usr/local/bin/../lib/gcc/x86_64-linux-gnu/10.3.0/../../../../include/c++/10.3.0/bits/basic_string.tcc:219) >>> api_ast.cpp.o:(void std::__cxx11::basic_string, std::allocator >::_M_construct(char const*, char const*, std::forward_iterator_tag)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a ld: error: undefined symbol: std::__cxx11::basic_string, std::allocator >::_M_data(char*) >>> referenced by basic_string.tcc:219 (/usr/local/bin/../lib/gcc/x86_64-linux-gnu/10.3.0/../../../../include/c++/10.3.0/bits/basic_string.tcc:219) >>> api_ast.cpp.o:(void std::__cxx11::basic_string, std::allocator >::_M_construct(char const*, char const*, std::forward_iterator_tag)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a ld: error: undefined symbol: std::__cxx11::basic_string, std::allocator >::_M_capacity(unsigned long) >>> referenced by basic_string.tcc:220 (/usr/local/bin/../lib/gcc/x86_64-linux-gnu/10.3.0/../../../../include/c++/10.3.0/bits/basic_string.tcc:220) >>> api_ast.cpp.o:(void std::__cxx11::basic_string, std::allocator >::_M_construct(char const*, char const*, std::forward_iterator_tag)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a ld: error: undefined symbol: std::__cxx11::basic_string, std::allocator >::_M_data() const >>> referenced by basic_string.tcc:225 (/usr/local/bin/../lib/gcc/x86_64-linux-gnu/10.3.0/../../../../include/c++/10.3.0/bits/basic_string.tcc:225) >>> api_ast.cpp.o:(void std::__cxx11::basic_string, std::allocator >::_M_construct(char const*, char const*, std::forward_iterator_tag)) in archive /home/conan/w/prod-v1/bsr/80233/bcaee/.conan/data/z3/4.11.2/_/_/package/bb3af2224a11e7add026b0bbceb97245a55d1081/lib/libz3.a ld: error: too many errors emitted, stopping now (use -error-limit=0 to see all errors) clang-13: error: linker command failed with exit code 1 (use -v to see invocation) make[2]: *** [bin/test_package] Error 1 make[1]: *** [test_package/CMakeFiles/test_package.dir/all] Error 2 make: *** [all] Error 2 z3/4.11.2 (test package): WARN: ************************************************ The 'cmake' generator is deprecated. Please update your code and remove it. ************************************************* z3/4.11.2 (test package): WARN: ************************************************ The 'cmake_find_package_multi' generator is deprecated. Please update your code and remove it. ************************************************* z3/4.11.2 (test package): WARN: **** The 'from conans import CMake' helper is deprecated. Please update your code and remove it. **** ERROR: z3/4.11.2 (test package): Error in build() method, line 12 cmake.build() ConanException: Error 2 while executing cmake --build '/home/conan/w/prod-v1/bsr/cci-ca582a7d/recipes/z3/all/test_v1_package/build/1b8c8cba7c4cd9858b76a393d6654a7d8eeb092d' '--' '-j3'