aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarc Coquand <marcc@fastmail.fr>2023-12-04 19:46:33 -0600
committerMarc Coquand <marcc@fastmail.fr>2023-12-04 19:46:33 -0600
commit11cc253d6a844f655b9d8e0c1498415d1ee9e6d8 (patch)
tree6be92f78ae1e190de8ae6c919499a83c059443e7
parent5802ae011093ca4e138ad82fcd0ee14bbcc6f20f (diff)
downloadwormhole-11cc253d6a844f655b9d8e0c1498415d1ee9e6d8.tar.gz
wormhole-11cc253d6a844f655b9d8e0c1498415d1ee9e6d8.tar.bz2
wormhole-11cc253d6a844f655b9d8e0c1498415d1ee9e6d8.zip
Update Dockerfile
Diffstat (limited to '')
-rw-r--r--Dockerfile2
1 files changed, 2 insertions, 0 deletions
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