diff --git a/Dockerfile b/Dockerfile index bda0de22..8c115e50 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,6 +1,6 @@ FROM ocaml/opam MAINTAINER Yann Regis-Gianas - +RUN sudo apt-get install time # For demonstration purpose RUN opam update RUN opam switch 4.02.3 RUN eval `opam config env`