diff options
Diffstat (limited to 'bin/dune')
-rw-r--r-- | bin/dune | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/bin/dune b/bin/dune new file mode 100644 index 0000000..0716639 --- /dev/null +++ b/bin/dune @@ -0,0 +1,21 @@ +(executable + (public_name rinhadebackend) + (name main) + (flags + (:standard -cclib -static -cclib -no-pie)) + (libraries + rinhadebackend + + piaf + routes + eio_main + caqti-driver-postgresql + logs.fmt + fmt.tty + logs.threaded + caqti-eio + caqti + ppx_rapper_eio) + + (preprocess + (pps ppx_rapper))) |