aboutsummaryrefslogtreecommitdiff
path: root/Dockerfile
diff options
context:
space:
mode:
authorMarc Coquand <marcc@fastmail.fr>2023-12-04 08:21:29 -0600
committerMarc Coquand <marcc@fastmail.fr>2023-12-04 08:21:29 -0600
commit12a64a2cb157d339cfea3b0b71e890a6a7f513df (patch)
tree460ff8ea1ece2d6f8aae11fc6c272796bafbaeab /Dockerfile
parent7de595b75bb12c96d3da6382805643dbd7063680 (diff)
downloadwormhole-12a64a2cb157d339cfea3b0b71e890a6a7f513df.tar.gz
wormhole-12a64a2cb157d339cfea3b0b71e890a6a7f513df.tar.bz2
wormhole-12a64a2cb157d339cfea3b0b71e890a6a7f513df.zip
Try again
Diffstat (limited to 'Dockerfile')
-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