-- Building CBMC version 5.95.1
-- Rule launch compile: /usr/bin/ccache
-- Building with IPASIR solver linking: custom solver provided
CMake Error at src/libcprover-cpp/CMakeLists.txt:70 (message):
libcprover-cpp cannot be linked as dependency dep_path-NOTFOUND does not
have a static correspondent file (dep_path-NOTFOUND)
CBMC version: 5.95.1 Operating system: Linux kernel 6.6.21
I have these flags in my
cmake
command:But when making, I get: