diff --git a/docker/Dockerfile b/docker/Dockerfile index aed03b6..8fe7345 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -94,6 +94,7 @@ ARG USER ADD minicalosim /root/minicalosim RUN cd /root/minicalosim && git checkout $COMMIT && \ + git submodule update --init && \ mkdir -p build && cd build && rm -rf * && cmake ../ && make -j4