Update docker file for newest MetaCoq

AU-COBRA · Mar 17, 2021 · bd9f671 · bd9f671
1 parent a5a4529
commit bd9f671
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/extra/docker/ConCert-8.11/Dockerfile b/extra/docker/ConCert-8.11/Dockerfile
@@ -7,10 +7,7 @@ RUN ["/bin/bash", "--login", "-c", "set -x \
   && opam repository add --all-switches --set-default iris-dev https://gitlab.mpi-sws.org/iris/opam.git \
   && opam update -y -u \
   && opam install -y -v -j ${NJOBS} coq-equations.1.2.1+8.11 coq-stdpp coq-quickchick \
-  && git clone https://github.com/MetaCoq/metacoq.git \
-  && cd metacoq \
-  && git checkout 77adb13585d2f357b78642c16b6c4da817f35eff \
-  && opam install -y -v -j ${NJOBS} . \
+  && opam pin -y -j ${NJOBS} add https://github.com/MetaCoq/metacoq.git#8d576c70957c0dce2053f2a7272b231f41c3d43f \
   && opam clean -a -c -s --logs \
   && opam config list \
   && opam list"]