diff options
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) + ) |