[fix] use ocaml/opam:debian for the Dockerfile

freuk · Mar 14, 2018 · 16ba7ac · 16ba7ac
1 parent 8a39cb3
commit 16ba7ac
Showing 1 changed file with 3 additions and 6 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -1,10 +1,7 @@
-FROM ocaml/opam
+FROM ocaml/opam:debian
 RUN sudo apt-get install vim libgmp-dev -y
-RUN opam install topkg-care opam-publish
-RUN opam pin add --dev-repo cmdliner
-RUN opam pin add --dev-repo topkg-care
-RUN opam pin add --dev-repo topkg
-RUN opam install batteries
+RUN opam update
+RUN opam install topkg-care opam-publish cmdliner batteries
 ENV EDITOR vim
 ENV TOPKG_DELEGATE toy-github-topkg-delegate
 CMD rm -rf /home/opam/.ssh