From ba61dfd69504ec6263a9dee9931d93adeb6f3142 Mon Sep 17 00:00:00 2001
From: Rutger Broekhoff
Date: Mon, 7 Jul 2025 21:52:08 +0200
Subject: Initialize repository

---
 bin/dune | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 bin/dune

(limited to 'bin/dune')

diff --git a/bin/dune b/bin/dune
new file mode 100644
index 0000000..2a56b29
--- /dev/null
+++ b/bin/dune
@@ -0,0 +1,14 @@
+(executable
+ (public_name mininix)
+ (name main)
+ (preprocess
+  (pps ppx_let))
+ (libraries
+  nix
+  core
+  core_unix.command_unix
+  linenoise
+  mininix
+  sexp_pretty
+  stdio
+  ppx_let))
-- 
cgit v1.2.3