From 51a5f347ea4826c61349c5f0890d7f984c166eac Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Fri, 17 May 2024 16:19:32 -0500 Subject: Setup everything for static and non-static release --- Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Dockerfile') diff --git a/Dockerfile b/Dockerfile index b5c3395..e4b9ed2 100644 --- a/Dockerfile +++ b/Dockerfile @@ -22,4 +22,4 @@ RUN git config --global --add safe.directory /tmp/build RUN opam install . --update-invariant --yes COPY . . -CMD eval `opam env` && dune build --profile release +CMD eval `opam env` && dune build --profile release-static -- cgit v1.2.3