From 1b4ed54a85c31a032fbc841c62f674c3a8f2764b Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Fri, 17 May 2024 15:07:04 -0500 Subject: Fix binary release --- Dockerfile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'Dockerfile') diff --git a/Dockerfile b/Dockerfile index 937fbcf..b5c3395 100644 --- a/Dockerfile +++ b/Dockerfile @@ -4,7 +4,7 @@ FROM alpine:edge AS builder RUN apk add --no-cache make m4 which patch sudo wget git pkgconfig \ gcc g++ musl-dev linux-headers libffi libffi-dev pcre perl python3 \ gmp-dev pcre-dev xz-dev gmp xz coreutils \ - ocaml ocaml-compiler-libs ocaml-ocamldoc opam ocaml-findlib openssh + ocaml ocaml-compiler-libs ocaml-ocamldoc opam ocaml-findlib openssh rsync RUN chmod +s `which bwrap` RUN addgroup -g 1000 -S ocaml && adduser -u 1000 -D -S ocaml -G ocaml @@ -16,9 +16,10 @@ RUN eval `opam env --switch=4.14.2` RUN opam install --yes dune && eval `opam env --switch=4.14.2` -COPY --chown=ocaml:ocaml . /tmp/build +COPY --chown=ocaml:ocaml stitch.opam /tmp/build/ WORKDIR /tmp/build RUN git config --global --add safe.directory /tmp/build RUN opam install . --update-invariant --yes +COPY . . CMD eval `opam env` && dune build --profile release -- cgit v1.2.3