search

season-lab / fuzzolic

fuzzing + concolic = fuzzolic :)
https://season-lab.github.io/fuzzolic/
GNU General Public License v2.0
117 stars 6 forks source link

Dockerfiles do not build #8

Closed vanhauser-thc closed 1 year ago

vanhauser-thc commented 1 year ago 
# docker build -t fuzzolicn -f ./docker/fuzzolic-runner/Dockerfile.Ubuntu2004 .
[...]
Step 11/24 : RUN cd solver/fuzzy-sat/fuzzolic-z3 && mkdir build && cd build && cmake .. -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=`pwd`/dist && make -j `nproc` && make install
 ---> Running in 9cbf205cb75d
CMake Error: The source directory "/home/ubuntu/fuzzolic/solver/fuzzy-sat/fuzzolic-z3" does not appear to contain CMakeLists.txt.
Specify --help for usage, or press the help button on the CMake GUI.
The command '/bin/sh -c cd solver/fuzzy-sat/fuzzolic-z3 && mkdir build && cd build && cmake .. -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=`pwd`/dist && make -j `nproc` && make install' returned a non-zero code: 1

the same error happens in /docker/fuzzolic-runner/Dockerfile

vanhauser-thc commented 1 year ago

ah before building the container one has to checkout all the submodules first. would be better if that is documented somewhere, just found out by looking at the Makefile

ercoppa commented 1 year ago

Sorry for that. I will update the documentation. Let me know if you find other issues.