From cc783c157f31e7e713c8b83be67449b1859dac27 Mon Sep 17 00:00:00 2001
From: Marc Coquand <marc@mccd.space>
Date: Wed, 20 Dec 2023 20:43:25 -0600
Subject: Initial commit

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

(limited to 'bin/dune')

diff --git a/bin/dune b/bin/dune
new file mode 100644
index 0000000..62d69ee
--- /dev/null
+++ b/bin/dune
@@ -0,0 +1,5 @@
+(executable
+ (public_name ann_bloop)
+ (name main)
+ (libraries ann_bloop uri dream)
+ (preprocess (pps lwt_ppx ppx_yojson_conv ppx_inline_test)))
-- 
cgit v1.2.3