From 12a64a2cb157d339cfea3b0b71e890a6a7f513df Mon Sep 17 00:00:00 2001
From: Marc Coquand <marcc@fastmail.fr>
Date: Mon, 4 Dec 2023 08:21:29 -0600
Subject: Try again

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Dockerfile')

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
 
-- 
cgit v1.2.3