diff options
author | Marc Coquand <marc@mccd.space> | 2023-12-20 20:43:25 -0600 |
---|---|---|
committer | Marc Coquand <marc@mccd.space> | 2023-12-20 20:43:25 -0600 |
commit | cc783c157f31e7e713c8b83be67449b1859dac27 (patch) | |
tree | 52559c115159671839f4b497b9191222faa35520 /lib/dune | |
download | fixgen-cc783c157f31e7e713c8b83be67449b1859dac27.tar.gz fixgen-cc783c157f31e7e713c8b83be67449b1859dac27.tar.bz2 fixgen-cc783c157f31e7e713c8b83be67449b1859dac27.zip |
Initial commit
Diffstat (limited to 'lib/dune')
-rw-r--r-- | lib/dune | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/lib/dune b/lib/dune new file mode 100644 index 0000000..f04ae9a --- /dev/null +++ b/lib/dune @@ -0,0 +1,18 @@ +(library + (name ann_bloop) + (libraries uri + cohttp-lwt-unix + containers + base64 + mirage-crypto + x509 + lwt + cohttp + dream + calendar + ptime + decoders-yojson + ) + (preprocess (pps lwt_ppx ppx_yojson_conv ppx_inline_test )) + (inline_tests) + ) |