Skip to content

Commit

Permalink
Attempt to fix compcert
Browse files Browse the repository at this point in the history
  • Loading branch information
@mattgodbolt
mattgodbolt committed Nov 26, 2024
1 parent 06bea41 commit 91d954d
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions Dockerfile.compcert
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,6 +12,7 @@ RUN apt update -y -q && apt upgrade -y -q && apt update -y -q && \
openssh-client \
ocaml-nox \
libgmp-dev \
pkg-config \
opam

RUN opam init --disable-sandboxing -n \
Expand Down

0 comments on commit 91d954d

Please sign in to comment.