Skip to content

Commit

Permalink
Update Dockerfile
Browse files Browse the repository at this point in the history
  • Loading branch information
@clarus
clarus committed Nov 25, 2015
1 parent 4318707 commit 623a885
Showing 1 changed file with 3 additions and 6 deletions.
9 changes: 3 additions & 6 deletions Dockerfile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -25,14 +25,11 @@ RUN opam install -y coq
# Tools
RUN apt-get install -y inotify-tools

# Coq repositories
RUN echo 2
RUN opam repo add coq-stable https://github.com/coq/repo-stable.git
RUN opam repo add coq-testing https://github.com/coq/repo-testing.git
RUN opam repo add coq-unstable https://github.com/coq/repo-unstable.git
# Coq repository
RUN opam repo add coq-released https://coq.inria.fr/opam/released

# Dependencies
RUN opam install -y coq:error-handlers coq:function-ninjas coq:list-string
RUN opam install -y coq-error-handlers coq-function-ninjas coq-list-string

# Build
ADD . /root/system
Expand Down

0 comments on commit 623a885

Please sign in to comment.