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

---
 lib/mininix/dune | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 lib/mininix/dune

(limited to 'lib/mininix/dune')

diff --git a/lib/mininix/dune b/lib/mininix/dune
new file mode 100644
index 0000000..aabbf45
--- /dev/null
+++ b/lib/mininix/dune
@@ -0,0 +1,15 @@
+(library
+ (name mininix)
+ (inline_tests)
+ (preprocessor_deps
+  (file builtins.nix))
+ (preprocess
+  (pps
+   ppx_blob
+   ppx_sexp_conv
+   ppx_expect
+   ppx_assert
+   base_quickcheck.ppx_quickcheck))
+ (instrumentation
+  (backend bisect_ppx))
+ (libraries core extraction nix ppx_blob ppx_sexp_conv))
-- 
cgit v1.2.3