summaryrefslogtreecommitdiff
path: root/bin/dune
diff options
context:
space:
mode:
Diffstat (limited to 'bin/dune')
-rw-r--r--bin/dune21
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)))