diff options
Diffstat (limited to 'bin/dune')
| -rw-r--r-- | bin/dune | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/bin/dune b/bin/dune new file mode 100644 index 0000000..3dc72b3 --- /dev/null +++ b/bin/dune @@ -0,0 +1,17 @@ +(executable + (public_name nixtamal) + (name main) + (libraries + nixtamal + cmdliner + eio + eio_main + fmt + fmt.cli + fmt.tty + logs + logs.cli + logs.fmt + uri) + (preprocess + (pps ppx_deriving.show ppx_deriving.eq ppx_deriving.ord ppx_deriving.make))) |
