Skip to content

Commit

Permalink
add opam installation
Browse files Browse the repository at this point in the history
  • Loading branch information
@mauromedda
mauromedda committed Apr 10, 2024
1 parent 4ad6cd9 commit 38bd975
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docker/Dockerfile.test
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ WORKDIR /scilla/0/
COPY . /scilla/0/

RUN apt update \
&& apt install -y sudo
&& 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
Expand Down

0 comments on commit 38bd975

Please sign in to comment.