Mentions légales du service

Skip to content
Snippets Groups Projects
Commit 9357d4cd authored by BERTOT Yves's avatar BERTOT Yves
Browse files

compile and then install cvc4

parent 4db8fcb7
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
smtcoq+cvc4-container/Dockerfile 0 → 100644
+ 8
− 0
View file @ 9357d4cd
FROM smtcoq.8.6
WORKDIR /home/johndoe/cvc4-1.5
RUN make
USER root
RUN make install
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment