Skip to content

Commit

Permalink
release: fix the docker phase
Browse files Browse the repository at this point in the history
Would prepend the output of the configure script before
  • Loading branch information
kit-ty-kate committed Aug 22, 2024
1 parent c0ef0ec commit c441ea9
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 c441ea9

Please sign in to comment.