search

JonathanSalwan / Triton

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
https://triton-library.github.io
Apache License 2.0
3.48k stars 527 forks source link

Failed linking with bitwuzla #1354

Open blessedqc opened 3 weeks ago

blessedqc commented 3 weeks ago

┌──(blesqasm㉿kali)-[~/utils/Triton/build] └─$ cmake -DLLVM_INTERFACE=ON -DCMAKE_PREFIX_PATH=$(llvm-config --prefix) -DBITWUZLA_INTERFACE=ON -DBITWUZLA_INCLUDE_DIR=/usr/local/include/bitwuzla ..
-- Compiling with Python bindings -- Python3 includes: /usr/include/python3.11 -- Python3 libraries: /usr/lib/x86_64-linux-gnu/libpython3.11.so -- Compiling with Z3 SMT solver -- Found Z3 include directory: /usr/include -- Found Z3 library: /usr/lib/x86_64-linux-gnu/libz3.so -- Z3 version: 4.8.12.0 -- Compiling with Bitwuzla SMT solver -- Found BITWUZLA include directory: /usr/local/include/bitwuzla -- Found BITWUZLA library: /usr/local/lib/x86_64-linux-gnu/libbitwuzla.a -- Compiling with LLVM -- Performing Test HAVE_FFI_CALL -- Performing Test HAVE_FFI_CALL - Success -- Found FFI: /usr/lib/x86_64-linux-gnu/libffi.so -- Performing Test Terminfo_LINKABLE -- Performing Test Terminfo_LINKABLE - Success -- Found Terminfo: /usr/lib/x86_64-linux-gnu/libtinfo.so -- Found ZLIB: /usr/lib/x86_64-linux-gnu/libz.so (found version "1.3.1") -- Could NOT find zstd (missing: zstd_LIBRARY zstd_INCLUDE_DIR) -- Found LibXml2: /usr/lib/x86_64-linux-gnu/libxml2.so (found version "2.9.14") -- Could NOT find CURL (missing: CURL_LIBRARY CURL_INCLUDE_DIR) -- Found LLVM 16.0.6 -- Using LLVMConfig.cmake in: /usr/lib/llvm-16/cmake -- Compiling with Capstone -- Found CAPSTONE include directory: /usr/include -- Found CAPSTONE library: /usr/lib/x86_64-linux-gnu/libcapstone.so -- CAPSTONE version: 5.0.1 -- Compiling with wide-integer headers -- Configuring done (0.4s) -- Generating done (0.0s) -- Build files have been written to: /home/blesqasm/utils/Triton/build

sudo make -j3
[ 3%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/arm/aarch64/aarch64Semantics.cpp.o [ 3%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/architecture.cpp.o [ 3%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/arm/aarch64/aarch64Cpu.cpp.o [ 3%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/arm/aarch64/aarch64Specifications.cpp.o [ 4%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/arm/arm32/arm32Cpu.cpp.o [ 5%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/arm/arm32/arm32Semantics.cpp.o [ 6%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/arm/arm32/arm32Specifications.cpp.o [ 7%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/arm/armOperandProperties.cpp.o [ 8%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/basicBlock.cpp.o [ 9%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/bitsVector.cpp.o [ 10%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/immediate.cpp.o [ 11%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/instruction.cpp.o [ 11%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/irBuilder.cpp.o [ 12%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/memoryAccess.cpp.o [ 13%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/operandWrapper.cpp.o [ 14%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/register.cpp.o [ 15%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/riscv/riscv32Cpu.cpp.o [ 16%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/riscv/riscv64Cpu.cpp.o [ 17%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/riscv/riscvSemantics.cpp.o [ 18%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/riscv/riscvSpecifications.cpp.o [ 18%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/x86/x8664Cpu.cpp.o [ 19%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/x86/x86Cpu.cpp.o [ 20%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/x86/x86Semantics.cpp.o [ 21%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/x86/x86Specifications.cpp.o [ 22%] Building CXX object src/libtriton/CMakeFiles/triton.dir/ast/ast.cpp.o [ 23%] Building CXX object src/libtriton/CMakeFiles/triton.dir/ast/astContext.cpp.o [ 24%] Building CXX object src/libtriton/CMakeFiles/triton.dir/ast/representations/astPcodeRepresentation.cpp.o [ 25%] Building CXX object src/libtriton/CMakeFiles/triton.dir/ast/representations/astPythonRepresentation.cpp.o [ 26%] Building CXX object src/libtriton/CMakeFiles/triton.dir/ast/representations/astRepresentation.cpp.o [ 26%] Building CXX object src/libtriton/CMakeFiles/triton.dir/ast/representations/astSmtRepresentation.cpp.o [ 27%] Building CXX object src/libtriton/CMakeFiles/triton.dir/callbacks/callbacks.cpp.o [ 28%] Building CXX object src/libtriton/CMakeFiles/triton.dir/context/context.cpp.o [ 29%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/lifters/liftingToDot.cpp.o [ 30%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/lifters/liftingToPython.cpp.o [ 31%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/lifters/liftingToSMT.cpp.o [ 32%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/solver/solverEngine.cpp.o [ 33%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/solver/solverModel.cpp.o [ 34%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/symbolic/pathConstraint.cpp.o [ 34%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/symbolic/pathManager.cpp.o [ 35%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/symbolic/symbolicEngine.cpp.o [ 36%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/symbolic/symbolicExpression.cpp.o [ 37%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/symbolic/symbolicSimplification.cpp.o [ 38%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/symbolic/symbolicVariable.cpp.o [ 39%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/synthesis/oracleTable.cpp.o [ 40%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/synthesis/synthesisResult.cpp.o [ 41%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/synthesis/synthesizer.cpp.o [ 41%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/taint/taintEngine.cpp.o [ 42%] Building CXX object src/libtriton/CMakeFiles/triton.dir/modes/modes.cpp.o [ 43%] Building CXX object src/libtriton/CMakeFiles/triton.dir/stubs/aarch64-libc.cpp.o [ 44%] Building CXX object src/libtriton/CMakeFiles/triton.dir/stubs/i386-systemv-libc.cpp.o [ 45%] Building CXX object src/libtriton/CMakeFiles/triton.dir/stubs/x8664-ms-libc.cpp.o [ 46%] Building CXX object src/libtriton/CMakeFiles/triton.dir/stubs/x8664-systemv-libc.cpp.o [ 47%] Building CXX object src/libtriton/CMakeFiles/triton.dir/utils/coreUtils.cpp.o [ 48%] Building CXX object src/libtriton/CMakeFiles/triton.dir/ast/z3/tritonToZ3.cpp.o [ 49%] Building CXX object src/libtriton/CMakeFiles/triton.dir/ast/z3/z3ToTriton.cpp.o [ 49%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/solver/z3/z3Solver.cpp.o [ 50%] Building CXX object src/libtriton/CMakeFiles/triton.dir/ast/bitwuzla/tritonToBitwuzla.cpp.o [ 51%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/solver/bitwuzla/bitwuzlaSolver.cpp.o [ 52%] Building CXX object src/libtriton/CMakeFiles/triton.dir/ast/llvm/llvmToTriton.cpp.o [ 53%] Building CXX object src/libtriton/CMakeFiles/triton.dir/ast/llvm/tritonToLLVM.cpp.o [ 54%] Building CXX object src/libtriton/CMakeFiles/triton.dir/engines/lifters/liftingToLLVM.cpp.o [ 55%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/init.cpp.o [ 56%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/modules/tritonCallbacks.cpp.o [ 57%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initArchNamespace.cpp.o [ 57%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initAstNodeNamespace.cpp.o [ 58%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initAstRepresentationNamespace.cpp.o
[ 59%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initCallbackNamespace.cpp.o
[ 60%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initConditionsNamespace.cpp.o
[ 61%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initCpuSizeNamespace.cpp.o [ 62%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initExceptionNamespace.cpp.o
[ 63%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initExtendNamespace.cpp.o [ 64%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initModeNamespace.cpp.o [ 64%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initOpcodesNamespace.cpp.o [ 65%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initOperandNamespace.cpp.o [ 66%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initPrefixesNamespace.cpp.o
[ 67%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initRegNamespace.cpp.o [ 68%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initShiftsNamespace.cpp.o [ 69%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initSolverNamespace.cpp.o [ 70%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initSolverStateNamespace.cpp.o
[ 71%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initStubsNamespace.cpp.o [ 72%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initSymbolicNamespace.cpp.o
[ 72%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initVASNamespace.cpp.o [ 73%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/namespaces/initVersionNamespace.cpp.o [ 74%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/objects/pyAstContext.cpp.o [ 75%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/objects/pyAstNode.cpp.o [ 76%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/objects/pyBitsVector.cpp.o [ 77%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/objects/pyBasicBlock.cpp.o [ 78%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/objects/pyImmediate.cpp.o [ 79%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/objects/pyInstruction.cpp.o [ 80%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/objects/pyMemoryAccess.cpp.o [ 80%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/objects/pyPathConstraint.cpp.o [ 81%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/objects/pyRegister.cpp.o [ 82%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/objects/pySolverModel.cpp.o [ 83%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/objects/pySymbolicExpression.cpp.o [ 84%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/objects/pySymbolicVariable.cpp.o [ 85%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/objects/pyTritonContext.cpp.o [ 86%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/pyXFunctions.cpp.o [ 87%] Building CXX object src/libtriton/CMakeFiles/triton.dir/bindings/python/utils.cpp.o [ 88%] Linking CXX shared library libtriton.so [ 88%] Built target triton [ 90%] Building CXX object src/examples/cpp/CMakeFiles/info_reg.dir/info_reg.cpp.o [ 90%] Building CXX object src/examples/cpp/CMakeFiles/taint_reg.dir/taint_reg.cpp.o [ 90%] Built target python-triton [ 90%] Building CXX object src/examples/cpp/CMakeFiles/ir.dir/ir.cpp.o [ 91%] Linking CXX executable taint_reg [ 92%] Linking CXX executable info_reg [ 93%] Linking CXX executable ir /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::from_si(unsigned long, long, bool)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::~BitVector()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvurem(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::bitblast::AigNode::AigNode(bzla::bitblast::AigNode&&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::signed_compare(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::mk_max_signed(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvsext(unsigned long) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::BitVector(unsigned long, std::cxx11::basic_string<char, std::char_traits, std::allocator > const&, unsigned int)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvzext(unsigned long) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::bveq(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to `gmpz_add' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvshl(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::bvsub(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_get_str' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::bvor(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvdec() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::bitblast::AigManager::AigManager()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvnot() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference togmpz_set' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::count_trailing_zeros() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::ibvinc()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_true()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::ls::BitVectorDomain::fix(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigNode::operator=(bzla::bitblast::AigNode&&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference togmpq_sub' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::BitVectorDomain::~BitVectorDomain()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::lsb() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvmodinv()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::bvshr(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::set_bit(unsigned long, bool)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::ibvconcat(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::compare(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::bitblast::AigCnfEncoder::statistics() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_init' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tostd::hash::operator()(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_min_signed(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference togmpz_init_set_ui' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvsub(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference togmpz_sub' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::LocalSearch<bzla::BitVector>::register_root(unsigned long, bool)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference togmpz_init' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvextract(unsigned long, unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::is_zero() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_set_z' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to__gmpz_clear' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::BitVector(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::ibvand(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to `gmpz_add_ui' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_false()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::ls::LocalSearchBV::mk_node(bzla::ls::NodeKind, bzla::ls::BitVectorDomain const&, std::vector<unsigned long, std::allocator > const&, std::vector<unsigned long, std::allocator > const&, std::optional<std::cxx11::basic_string<char, std::char_traits, std::allocator > > const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to `gmpq_clear' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_ones(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::is_power_of_two() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigNode::~AigNode()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference togmpz_pow_ui' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::hash() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::is_min_signed() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to `gmpq_set_ui' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::is_max_signed() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::bvextract(unsigned long, unsigned long) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigManager::~AigManager()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::BitVector(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvneg() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::bvudiv(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvneg()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::ls::BitVectorDomain::BitVectorDomain(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigNode::AigNode(bzla::bitblast::AigNode const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::bitblast::AigCnfEncoder::value(bzla::bitblast::AigNode const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvsrem(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::bvconcat(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvadd(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::ls::BitVectorDomain::fix_bit(unsigned long, bool)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvashr(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::ls::LocalSearch::push()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::operator=(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::bvshl(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_div_2exp' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::ls::LocalSearch::move()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::is_true() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::BitVector()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::to_uint64(bool) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::from_si(unsigned long, long, bool)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bit(unsigned long) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference togmpq_canonicalize/usr/bin/ld' : ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::~BitVector()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::bvurem(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigNode::AigNode(bzla::bitblast::AigNode&&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::signed_compare(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_max_signed(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::bvsext(unsigned long) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to `bzla::BitVector::BitVector(unsigned long, std::cxx11::basic_string<char, std::char_traits, std::allocator > const&, unsigned int)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvzext(unsigned long) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::msb() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bveq(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference togmpz_add' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvshl(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to__gmpq_cmp' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvsub(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::fits_in_size(unsigned long, unsigned long, bool)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to `gmpz_get_str' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvor(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::bvdec() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigManager::AigManager()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::bvnot() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_one(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference togmpz_set' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_div' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::count_trailing_zeros() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigManager::statistics() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::BitVector(bzla::BitVector&&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_zero(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::fits_in_size(unsigned long, std::cxx11::basic_string<char, std::char_traits, std::allocator > const&, unsigned int)' /usr/bin/ld: ../../libtriton/libtriton.so/usr/bin/ld: undefined reference to : bzla::BitVector::ibvinc()../../libtriton/libtriton.so' : undefined reference tobzla::BitVector::bvinc() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::is_ones() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to/usr/bin/ldbzla::BitVector::mk_true(): ' ../../libtriton/libtriton.so: undefined reference to /usr/bin/ld: bzla::ls::LocalSearch<bzla::BitVector>::get_assignment(unsigned long) const../../libtriton/libtriton.so' : undefined reference tobzla::ls::BitVectorDomain::fix(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigNode::operator=(bzla::bitblast::AigNode&&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::bvxor(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigManager::new_data()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference togmpq_sub' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvmul(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::bitblast::AigCnfEncoder::encode(bzla::bitblast::AigNode const&, bool)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::BitVectorDomain::~BitVectorDomain()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::lsb() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigNode::operator=(bzla::bitblast::AigNode const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::ibvmodinv()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvshr(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::set_bit(unsigned long, bool)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvconcat(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::compare(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_init_set_si' /usr/bin/ld: ../../libtriton/libtriton.so/usr/bin/ld: undefined reference to: bzla::bitblast::AigCnfEncoder::statistics() const../../libtriton/libtriton.so' : undefined reference to bzla::BitVector::bvmul(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::is_one() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::LocalSearchBV::LocalSearchBV(unsigned long, unsigned long, unsigned int)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference togmpq_set_str' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::str[abi:cxx11](unsigned int) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference togmpq_init' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to std::hash<bzla::BitVector>::operator()(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::ibvsext(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_min_signed(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference togmpq_set' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_mul_2exp' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::bitblast::AigManager::rewrite_and(bzla::bitblast::AigNode const&, bzla::bitblast::AigNode const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_init_set_ui' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference togmpz_init_set_str' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvsub(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to__gmpz_sub' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to /usr/bin/ldbzla::ls::LocalSearch<bzla::BitVector>::register_root(unsigned long, bool): ' ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::from_ui(unsigned long, unsigned long, bool)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigNode::AigNode(bzla::bitblast::AigNodeData*, bool)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::ibvadd(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to `gmpz_init' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_mul_2exp' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::ibvextract(unsigned long, unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::is_zero() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference togmpq_set_z' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to `gmpz_clear' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::count_leading_zeros() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::BitVector(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::LocalSearch<bzla::BitVector>::pop()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::ibvand(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvmodinv() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference togmpz_add_ui' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to `gmpq_add' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_false()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::ls::LocalSearchBV::mk_node(bzla::BitVector const&, bzla::ls::BitVectorDomain const&, std::optional<std::cxx11::basic_string<char, std::char_traits, std::allocator > > const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to `gmpz_cmp' /usr/bin/ld: ../../libtriton/libtriton.so/usr/bin/ld: undefined reference to : ../../libtriton/libtriton.so: undefined reference tobzla::ls::LocalSearch::init()' bzla::ls::LocalSearchBV::mk_node(bzla::ls::NodeKind, bzla::ls::BitVectorDomain const&, std::vector<unsigned long, std::allocator > const&, std::vector<unsigned long, std::allocator > const&, std::optional<std::cxx11::basic_string<char, std::char_traits, std::allocator > > const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to `gmpq_clear' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_ones(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::is_power_of_two() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvand(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::bitblast::AigNode::~AigNode()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::operator==(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference togmpz_pow_ui' /usr/bin/ld: ../../libtriton/libtriton.so/usr/bin/ld: undefined reference to : bzla::BitVector::hash() const../../libtriton/libtriton.so' : undefined reference tobzla::BitVector::count_leading_ones() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvsdiv(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::is_min_signed() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to `gmpq_set_ui' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::is_max_signed() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::bvextract(unsigned long, unsigned long) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigManager::~AigManager()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::BitVector(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvneg() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::bvudiv(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvneg()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::ls::BitVectorDomain::BitVectorDomain(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigNode::AigNode(bzla::bitblast::AigNode const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::bitblast::AigCnfEncoder::value(bzla::bitblast::AigNode const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvsrem(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::bvconcat(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvadd(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::ls::BitVectorDomain::fix_bit(unsigned long, bool)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvashr(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::ls::LocalSearch::push()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::operator=(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::bvshl(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_div_2exp' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::ls::LocalSearch::move()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::is_true() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::BitVector()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::to_uint64(bool) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::bit(unsigned long) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_canonicalize' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::msb() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_cmp' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::fits_in_size(unsigned long, unsigned long, bool)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_one(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference togmpq_div' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigManager::statistics() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::BitVector(bzla::BitVector&&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_zero(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::fits_in_size(unsigned long, std::cxx11::basic_string<char, std::char_traits, std::allocator > const&, unsigned int)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvinc() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::is_ones() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::LocalSearch<bzla::BitVector>::get_assignment(unsigned long) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::bvxor(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigManager::new_data()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::ibvmul(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigCnfEncoder::encode(bzla::bitblast::AigNode const&, bool)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::bitblast::AigNode::operator=(bzla::bitblast::AigNode const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_init_set_si' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::bvmul(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::is_one() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::ls::LocalSearchBV::LocalSearchBV(unsigned long, unsigned long, unsigned int)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_set_str' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::str[abi:cxx11](unsigned int) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvsext(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference togmpq_set' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_mul_2exp' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::bitblast::AigManager::rewrite_and(bzla::bitblast::AigNode const&, bzla::bitblast::AigNode const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to `gmpz_init_set_str' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::from_ui(unsigned long, unsigned long, bool)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::bitblast::AigNode::AigNode(bzla::bitblast::AigNodeData*, bool)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvadd(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference togmpq_mul_2exp' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::count_leading_zeros() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::ls::LocalSearch::pop()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvmodinv() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference togmpq_add' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::LocalSearchBV::mk_node(bzla::BitVector const&, bzla::ls::BitVectorDomain const&, std::optional<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference togmpz_cmp' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::LocalSearch<bzla::BitVector>::init()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::bvand(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::operator==(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::count_leading_ones() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvsdiv(bzla::BitVector const&) const' collect2: error: ld returned 1 exit status make[2]: *** [src/examples/cpp/CMakeFiles/taint_reg.dir/build.make:102: src/examples/cpp/taint_reg] Error 1 make[1]: *** [CMakeFiles/Makefile2:1178: src/examples/cpp/CMakeFiles/taint_reg.dir/all] Error 2 make[1]: *** Waiting for unfinished jobs.... /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::from_si(unsigned long, long, bool)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::~BitVector()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::bvurem(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigNode::AigNode(bzla::bitblast::AigNode&&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::signed_compare(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_max_signed(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::bvsext(unsigned long) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to `bzla::BitVector::BitVector(unsigned long, std::cxx11::basic_string<char, std::char_traits, std::allocator > const&, unsigned int)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvzext(unsigned long) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::bveq(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_add' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::ibvshl(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvsub(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference togmpz_get_str' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvor(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::bvdec() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigManager::AigManager()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::bvnot() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to `gmpz_set' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::count_trailing_zeros() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::ibvinc()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_true()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::ls::BitVectorDomain::fix(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigNode::operator=(bzla::bitblast::AigNode&&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference togmpq_sub' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::BitVectorDomain::~BitVectorDomain()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::lsb() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvmodinv()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::bvshr(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::set_bit(unsigned long, bool)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::ibvconcat(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::compare(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::bitblast::AigCnfEncoder::statistics() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to `gmpq_init' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to std::hash<bzla::BitVector>::operator()(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::mk_min_signed(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_init_set_ui' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::ibvsub(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_sub' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::ls::LocalSearch::register_root(unsigned long, bool)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_init' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::ibvextract(unsigned long, unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::is_zero() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference togmpq_set_z' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to `gmpz_clear' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::BitVector(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::ibvand(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_add_ui' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::mk_false()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::LocalSearchBV::mk_node(bzla::ls::NodeKind, bzla::ls::BitVectorDomain const&, std::vector<unsigned long, std::allocator<unsigned long> > const&, std::vector<unsigned long, std::allocator<unsigned long> > const&, std::optional<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference togmpq_clear' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::mk_ones(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::is_power_of_two() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigNode::~AigNode()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference togmpz_pow_ui' collect2: error: ld returned 1 exit status /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::hash() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::is_min_signed() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to `gmpq_set_ui' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::is_max_signed() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::bvextract(unsigned long, unsigned long) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigManager::~AigManager()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::BitVector(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvneg() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::bvudiv(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvneg()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::ls::BitVectorDomain::BitVectorDomain(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigNode::AigNode(bzla::bitblast::AigNode const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::bitblast::AigCnfEncoder::value(bzla::bitblast::AigNode const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvsrem(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::bvconcat(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvadd(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::ls::BitVectorDomain::fix_bit(unsigned long, bool)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvashr(bzla::BitVector const&) const' make[2]: *** [src/examples/cpp/CMakeFiles/info_reg.dir/build.make:102: src/examples/cpp/info_reg] Error 1 /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::ls::LocalSearch::push()' make[1]: *** [CMakeFiles/Makefile2:1204: src/examples/cpp/CMakeFiles/info_reg.dir/all] Error 2 /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::operator=(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::bvshl(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_div_2exp' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::ls::LocalSearch::move()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::is_true() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::BitVector()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::to_uint64(bool) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::bit(unsigned long) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_canonicalize' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::msb() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to `gmpq_cmp' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::fits_in_size(unsigned long, unsigned long, bool)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::mk_one(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_div' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::bitblast::AigManager::statistics() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::BitVector(bzla::BitVector&&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::mk_zero(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::fits_in_size(unsigned long, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, unsigned int)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::bvinc() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::is_ones() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::ls::LocalSearch::get_assignment(unsigned long) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvxor(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::bitblast::AigManager::new_data()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvmul(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::bitblast::AigCnfEncoder::encode(bzla::bitblast::AigNode const&, bool)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigNode::operator=(bzla::bitblast::AigNode const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference togmpz_init_set_si' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvmul(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::is_one() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::ls::LocalSearchBV::LocalSearchBV(unsigned long, unsigned long, unsigned int)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference togmpq_set_str' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::str[abi:cxx11](unsigned int) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::ibvsext(unsigned long)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpq_set' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to__gmpz_mul_2exp' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::bitblast::AigManager::rewrite_and(bzla::bitblast::AigNode const&, bzla::bitblast::AigNode const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference togmpz_init_set_str' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::from_ui(unsigned long, unsigned long, bool)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::bitblast::AigNode::AigNode(bzla::bitblast::AigNodeData*, bool)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::ibvadd(bzla::BitVector const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference togmpq_mul_2exp' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::count_leading_zeros() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::ls::LocalSearch::pop()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvmodinv() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference togmpq_add' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to `bzla::ls::LocalSearchBV::mk_node(bzla::BitVector const&, bzla::ls::BitVectorDomain const&, std::optional<std::cxx11::basic_string<char, std::char_traits, std::allocator > > const&)' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to __gmpz_cmp' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::ls::LocalSearch::init()' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::bvand(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::operator==(bzla::BitVector const&) const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference to bzla::BitVector::count_leading_ones() const' /usr/bin/ld: ../../libtriton/libtriton.so: undefined reference tobzla::BitVector::bvsdiv(bzla::BitVector const&) const' collect2: error: ld returned 1 exit status make[2]: [src/examples/cpp/CMakeFiles/ir.dir/build.make:102: src/examples/cpp/ir] Error 1 make[1]: [CMakeFiles/Makefile2:1230: src/examples/cpp/CMakeFiles/ir.dir/all] Error 2 make: *** [Makefile:146: all] Error 2

JonathanSalwan commented 2 weeks ago

What version of Bitwuzla are you using? Do you have still the same issue when compiling Bitwuzla as shared library?