From adc54e70b6ae1fe65ac6c1f76ae32f4b4541afb3 Mon Sep 17 00:00:00 2001
From: Marc Coquand <marcc@fastmail.fr>
Date: Mon, 4 Dec 2023 20:11:42 -0600
Subject: Change to cmd

---
 Dockerfile | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index c5d749e..5841722 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -9,11 +9,6 @@ RUN nix \
     --option filter-syscalls false \
     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
 
@@ -24,4 +19,4 @@ WORKDIR /app
 # Copy /nix/store
 COPY --from=builder /tmp/nix-store-closure /nix/store
 COPY --from=builder /tmp/build/result/ /app
-ENTRYPOINT /app/bin/wormhole
+CMD ["/app/bin/wormhole"]
-- 
cgit v1.2.3