diff --git a/scripts/Dockerfile b/scripts/Dockerfile index c5f215027cb264bd759f84e80ce80246f83fb51d..2f0e75c102c3a1a4b034c864dafbb1345babe9f1 100644 --- a/scripts/Dockerfile +++ b/scripts/Dockerfile @@ -9,6 +9,8 @@ RUN rm -rf /var/lib/apt/lists/* RUN apt-get install -yqq libexpat1-dev libgtk2.0-dev opam RUN opam init --best-effort -y && eval $(opam env) && opam install proverif --best-effort -y +ENV PATH $HOME/.opam/default/bin/:$PATH + CMD /bin/bash