diff options
| author | Mateus Cruz <mateuscolvr@gmail.com> | 2024-02-04 23:10:30 -0300 |
|---|---|---|
| committer | Mateus Cruz <mateuscolvr@gmail.com> | 2024-02-04 23:10:57 -0300 |
| commit | f3ac99a84497868aded8ee7ec2822d1b12960fd7 (patch) | |
| tree | a870e9bb38259e0641c282b2ba524ac9abe85346 /bin/dune | |
initial commit
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))) |