search

Boolector / boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
http://boolector.github.io
Other
324 stars 63 forks source link

./configure.sh problem #203

Closed khanhckn closed 1 year ago

khanhckn commented 1 year ago

CMake Error at /usr/share/cmake-3.22/Modules/FindPackageHandleStandardArgs.cmake:230 (message): Could NOT find Btor2Tools (missing: Btor2Tools_INCLUDE_DIR Btor2Tools_LIBRARIES) Call Stack (most recent call first): /usr/share/cmake-3.22/Modules/FindPackageHandleStandardArgs.cmake:594 (_FPHSA_FAILURE_MESSAGE) cmake/FindBtor2Tools.cmake:18 (find_package_handle_standard_args) CMakeLists.txt:312 (find_package)

mpreiner commented 1 year ago

Looks like you did not build the btor2 tools prior to calling configure. Did you follow the Setup steps described here: https://github.com/Boolector/boolector#linux-and-unix-like-os?

khanhckn commented 1 year ago

Yeah, I was using it from docker file turns out it has been forgotten. I do appreciate your help; everything is okay