Skip to content

Commit

Permalink
Merge pull request #6178 from kit-ty-kate/fix-release-2.0
Browse files Browse the repository at this point in the history
[2.0 backport] release: fix the docker phase
  • Loading branch information
rjbou authored Aug 22, 2024
2 parents c0ef0ec + c441ea9 commit adc1e18
Showing 1 changed file with 8 additions and 7 deletions.
15 changes: 8 additions & 7 deletions release/Dockerfile.in
Original file line number Diff line number Diff line change
Expand Up @@ -23,11 +23,12 @@ RUN apk add patch
ENV PATH /usr/local/bin:/usr/bin:/bin
USER opam
WORKDIR /home/opam/
CMD tar xz >&2 && \
cd opam-full-${VERSION} >&2 && \
./configure --with-mccs && \
make lib-ext && \
echo "(${LINKING})" > src/client/linking.sexp && \
make opam >&2 && \
strip opam >&2 && \
CMD { tar xz && \
cd opam-full-${VERSION} && \
./configure --with-mccs && \
make lib-ext && \
echo "(${LINKING})" > src/client/linking.sexp && \
make opam && \
strip opam ; \
} >&2 && \
cat opam

0 comments on commit adc1e18

Please sign in to comment.