From 11cc253d6a844f655b9d8e0c1498415d1ee9e6d8 Mon Sep 17 00:00:00 2001
From: Marc Coquand <marcc@fastmail.fr>
Date: Mon, 4 Dec 2023 19:46:33 -0600
Subject: Update Dockerfile

---
 Dockerfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Dockerfile b/Dockerfile
index 130cb27..f45f0eb 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -9,6 +9,8 @@ RUN nix \
     --option filter-syscalls false \
     build
 
+nix develop -c dune build
+
 RUN mkdir /tmp/nix-store-closure
 RUN cp -R $(nix-store -qR result/) /tmp/nix-store-closure
 
-- 
cgit v1.2.3