From 262f161f42c4e59beec41c6f440336c38385426a Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Wed, 20 Dec 2023 20:46:00 -0600 Subject: Initial commit --- lib/dune | 25 +++++++++++-------------- 1 file changed, 11 insertions(+), 14 deletions(-) (limited to 'lib/dune') diff --git a/lib/dune b/lib/dune index f04ae9a..08e5290 100644 --- a/lib/dune +++ b/lib/dune @@ -1,18 +1,15 @@ +(menhir + (modules parser)) + +(ocamllex lexer) + (library - (name ann_bloop) - (libraries uri - cohttp-lwt-unix - containers - base64 - mirage-crypto - x509 - lwt - cohttp - dream - calendar - ptime - decoders-yojson + (name fixgen) + (libraries + uuidm ) - (preprocess (pps lwt_ppx ppx_yojson_conv ppx_inline_test )) + (modules parser lexer ast_types fixture) + (preprocess (pps ppx_inline_test)) (inline_tests) ) + -- cgit v1.2.3