search

staticafi / symbiotic

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
http://staticafi.github.io/symbiotic/
MIT License
313 stars 55 forks source link

system-build.sh: recopy the amalgamated jsoncpp sources if needed #208

Closed lzaoral closed 2 years ago

lzaoral commented 2 years ago

Fixes the following issue:

$ git clean -dfx
$ git clean submodule foreach git clean -dfx
$ ./system-build
...
CMake Error at src/CMakeLists.txt:23 (add_executable):
  Cannot find source file:

    jsoncpp.cpp

  Tried extensions .c .C .c++ .cc .cpp .cxx .cu .mpp .m .M .mm .ixx .cppm .h
  .hh .h++ .hm .hpp .hxx .in .txx .f .F .for .f77 .f90 .f95 .f03 .hip .ispc

CMake Error at src/CMakeLists.txt:23 (add_executable):
  No SOURCES given to target: sbt-instr

CMake Generate step failed.  Build files cannot be regenerated correctly.