From 262f161f42c4e59beec41c6f440336c38385426a Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Wed, 20 Dec 2023 20:46:00 -0600 Subject: Initial commit --- bin/dune | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'bin/dune') 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) + ) -- cgit v1.2.3