👷 Dockerfile on artifact ZIP

coq-community · Jan 3, 2024 · 45ce115 · 45ce115
1 parent 7dbe1d6
commit 45ce115
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 7 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -1,8 +1,6 @@
 FROM coqorg/coq:8.17.1
-
+COPY artifact-clean.zip artifact-clean.zip
 RUN eval $(opam env "--switch=${COMPILER}" --set-switch)
 RUN opam update -y
-RUN cd artifact-clean
-RUN opam install -y -j "${NJOBS}" ./coq-elpi
-RUN cd ..
-RUN opam install -y -j "${NJOBS}" .
+RUN unzip artifact-clean.zip
+RUN cd artifact-clean && make
diff --git a/artifact-clean/Makefile b/artifact-clean/Makefile
@@ -1,8 +1,8 @@
 .PHONY: all
 
 all:
-	opam install ./coq-elpi
-	opam install ./trocq
+	opam install -y ./coq-elpi
+	opam install -y ./trocq
 
 clean:
 	opam uninstall coq-elpi coq-trocq