summaryrefslogtreecommitdiff
path: root/bin/dune
diff options
context:
space:
mode:
Diffstat (limited to 'bin/dune')
-rw-r--r--bin/dune15
1 files changed, 15 insertions, 0 deletions
diff --git a/bin/dune b/bin/dune
new file mode 100644
index 0000000..6f90a60
--- /dev/null
+++ b/bin/dune
@@ -0,0 +1,15 @@
+(executable
+ (public_name bs5)
+ (name server)
+ (modules server)
+ (libraries
+ ; local
+ lib
+ ;
+ piaf
+ routes
+ eio_main
+ logs.fmt
+ fmt.tty
+ logs.threaded
+ caqti-driver-sqlite3))