aboutsummaryrefslogtreecommitdiff
path: root/bin/dune
diff options
context:
space:
mode:
authorMarc Coquand <marc@mccd.space>2023-12-20 20:46:00 -0600
committerMarc Coquand <marc@mccd.space>2023-12-25 18:22:59 -0600
commit262f161f42c4e59beec41c6f440336c38385426a (patch)
tree6491c9b661a0b5a14c9a30ecf25e036f8762239d /bin/dune
parentcc783c157f31e7e713c8b83be67449b1859dac27 (diff)
downloadfixgen-262f161f42c4e59beec41c6f440336c38385426a.tar.gz
fixgen-262f161f42c4e59beec41c6f440336c38385426a.tar.bz2
fixgen-262f161f42c4e59beec41c6f440336c38385426a.zip
Initial commit
Diffstat (limited to 'bin/dune')
-rw-r--r--bin/dune7
1 files changed, 4 insertions, 3 deletions
diff --git a/bin/dune b/bin/dune
index 62d69ee..ce5ed03 100644
--- a/bin/dune
+++ b/bin/dune
@@ -1,5 +1,6 @@
(executable
- (public_name ann_bloop)
+ (public_name fixgen)
(name main)
- (libraries ann_bloop uri dream)
- (preprocess (pps lwt_ppx ppx_yojson_conv ppx_inline_test)))
+ (libraries
+ fixgen)
+ )