Skip to content

Commit f8359f8

Browse files
committedMay 15, 2017
chomolungma: install Coq
1 parent 6100fea commit f8359f8

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
lines changed
 

‎.docker/everest-chomolungma/Dockerfile

+5
Original file line numberDiff line numberDiff line change
@@ -122,6 +122,11 @@ RUN sudo make install
122122
ENV LD_LIBRARY_PATH "/usr/local/lib"
123123
ENV LIBSODIUM_HOME /usr/local
124124

125+
# Install Coq
126+
ENV coqv 8.6
127+
RUN opam repo add coq-released http://coq.inria.fr/opam/released
128+
RUN opam install -j 8 coq.${coqv} && opam pin add coq ${coqv}
129+
125130
# Set the final directory entrypoint
126131
WORKDIR ${MYHOME}/everest
127132

0 commit comments

Comments
 (0)
Please sign in to comment.