Skip to content

Commit

Permalink
Fix Dockerfile to match opam master's expecations
Browse files Browse the repository at this point in the history
  • Loading branch information
kit-ty-kate committed Apr 27, 2023
1 parent 23eee6c commit 937ee34
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ RUN sudo mv /usr/bin/opam-2.1 /usr/bin/opam && opam update
RUN opam install odoc
RUN git clone https://github.com/ocaml/opam --single-branch --depth 1 --branch master /home/opam/opam
WORKDIR /home/opam/opam
RUN opam exec -- ./configure --without-mccs && opam exec -- make lib-ext && opam exec -- make
RUN opam exec -- ./configure --with-vendored-deps --without-mccs && opam exec -- make lib-ext && opam exec -- make
RUN echo '(vendored_dirs src_ext)' >> dune
RUN opam exec -- make -C doc html man-html DUNE=dune
RUN sudo mkdir -p /opt/opam/doc && sudo chown -R opam:opam /opt/opam
Expand Down

0 comments on commit 937ee34

Please sign in to comment.