dockerfile fixup

tum-ei-eda · Mar 6, 2025 · 99a710f · 99a710f
1 parent 0942b76
commit 99a710f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docker/Dockerfile b/docker/Dockerfile
@@ -64,7 +64,7 @@ ENV SETUP=0
 ENV SEAL5_HOME="/seal5_llvm"
 
 RUN . /venv/bin/activate && seal5 --verbose --dir ${SEAL5_HOME} init --non-interactive --clone --clone-url ${LLVM_REPO} --clone-ref ${LLVM_REF} --clone-depth ${CLONE_DEPTH}
-RUN . /venv/bin/activate && seal5 --verbose load --overwrite --files /seal5/examples/cfg/filter.yml /seal5/examples/cfg/git.yml /seal5/examples/cfg/llvm.yml /seal5/examples/cfg/patches.yml /seal5/examples/cfg/riscv.yml /seal5/examples/cfg/tools.yml
+RUN . /venv/bin/activate && seal5 --verbose load --overwrite --files /seal5/examples/common/cfg/filter.yml /seal5/examples/common/cfg/git.yml /seal5/examples/common/cfg/llvm.yml /seal5/examples/common/cfg/patches.yml /seal5/examples/common/cfg/riscv.yml /seal5/examples/common/cfg/tools.yml
 RUN . /venv/bin/activate && seal5 --verbose setup
 RUN . /venv/bin/activate && seal5 --verbose patch -s 0
 RUN . /venv/bin/activate && seal5 --verbose build --ccache