Skip to content

Commit

Permalink
add opam init
Browse files Browse the repository at this point in the history
  • Loading branch information
mauromedda committed Apr 10, 2024
1 parent 38bd975 commit 41fb89d
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion docker/Dockerfile.test
Expand Up @@ -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

0 comments on commit 41fb89d

Please sign in to comment.