search

paradise-fi / SymDIVINE

No longer maintained: Verification tool for parallel C/C++ programs with LTL support
MIT License
6 stars 2 forks source link

cmake error #1

Closed mchalupa closed 9 years ago

mchalupa commented 9 years ago

CMake Error at CMakeLists.txt:54 (add_executable): Cannot find source file:

libs/docopt/docopt.cpp

Tried extensions .c .C .c++ .cc .cpp .cxx .m .M .mm .h .hh .h++ .hm .hpp .hxx .in .txx

There is no such file in SymDIVINE

yaqwsx commented 9 years ago

git submodule update --init --recursive