Merge pull request #97 from amutake/fix/saphe

Fix saphe Dockerfile
amutake · Jun 5, 2024 · 6d8f917 · 6d8f917
2 parents 0e08cc8 + 03159df
commit 6d8f917
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git a/branch-saphe/Dockerfile b/branch-saphe/Dockerfile
@@ -16,7 +16,6 @@ RUN opam pin add --no-action --kind local saphe.dev .
 RUN opam pin add --no-action --kind local satysfi.dev .
 RUN opam update
 RUN opam install saphe satysfi
-RUN ./install-libs.sh ~/.saphe install
 
 # Generate metadata
 RUN git describe --tags > /satysfi-revision
@@ -35,7 +34,6 @@ RUN eval $(opam env) && \
 FROM ubuntu:22.04
 
 # Copy from build-env
-COPY --from=build-env /root/.saphe /root/.saphe
 COPY --from=build-env /saphe /usr/local/bin/saphe
 COPY --from=build-env /satysfi /usr/local/bin/satysfi
 COPY --from=build-env /satysfi-revision /satysfi-revision

diff --git a/branch-saphe/README.md b/branch-saphe/README.md
@@ -9,5 +9,5 @@ cd /path/to/docker-satysfi/branch-saphe
 docker build -t amutake/satysfi:saphe .
 
 cd /path/to/SATySFi/demo
-docker run --rm -it amutake/satysfi:saphe sh -c "saphe solve demo.saty && saphe build demo.saty"
+docker run --rm -it -v $(pwd):/satysfi amutake/satysfi:saphe sh -c "saphe solve demo.saty && saphe build demo.saty"
 ```