From 41fb89d97a29c770eabb03f3bf39034c86bdc94a Mon Sep 17 00:00:00 2001 From: Mauro Medda Date: Wed, 10 Apr 2024 13:47:52 +0200 Subject: [PATCH] add opam init --- docker/Dockerfile.test | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docker/Dockerfile.test b/docker/Dockerfile.test index 488a99cd6..770caf04d 100644 --- a/docker/Dockerfile.test +++ b/docker/Dockerfile.test @@ -10,6 +10,7 @@ RUN apt update \ && apt install -y sudo opam RUN eval $(opam env) \ - && LD_LIBRARY_PATH=/scilla/0/vcpkg_installed/x64-linux-dynamic/lib opam install reason.3.8.2 --yes + && LD_LIBRARY_PATH=/scilla/0/vcpkg_installed/x64-linux-dynamic/lib opam init --yes && \ + LD_LIBRARY_PATH=/scilla/0/vcpkg_installed/x64-linux-dynamic/lib opam install reason.3.8.2 --yes RUN ./scripts/install_shellcheck_ubuntu.sh