aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Dockerfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Dockerfile b/Dockerfile
index 167f76c..9045e7c 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -5,7 +5,7 @@ RUN sudo apk add --update libev-dev openssl-dev gmp-dev gmp
WORKDIR /home/opam
ADD . .
-RUN dune build -j 1
+RUN opam exec -- dune build -j 1
FROM alpine:3.18.4 as run