From b3934d3e16fa847b308a7f07c51dd48733f31744 Mon Sep 17 00:00:00 2001
From: Marc Coquand <marcc@fastmail.fr>
Date: Mon, 4 Dec 2023 19:57:50 -0600
Subject: Add extra variables

---
 Dockerfile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index a4b1a82..a01bd05 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -9,7 +9,10 @@ RUN nix \
     --option filter-syscalls false \
     build
 
-RUN nix develop -c dune build
+RUN nix 
+    --extra-experimental-features "nix-command flakes" \
+    --option filter-syscalls false \
+    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