From c8b16bffb7e3a394c79602629eaa1b0d93a24dc0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Dupressoir?= Date: Thu, 15 Mar 2018 14:59:01 +0000 Subject: [PATCH] docker: build-box should set opam env --- scripts/docker/build-box/Dockerfile | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/docker/build-box/Dockerfile b/scripts/docker/build-box/Dockerfile index 3681578294..eabe8d6b64 100644 --- a/scripts/docker/build-box/Dockerfile +++ b/scripts/docker/build-box/Dockerfile @@ -28,6 +28,7 @@ ENV OPAMJOBS 2 RUN \ opam init -a && \ opam switch -v -A 4.03.0 easycrypt && \ + eval `opam config env` && \ opam remote add easycrypt https://github.com/EasyCrypt/opam.git && \ opam install depext && opam depext easycrypt ec-provers && \ opam install ec-provers && \