diff options
Diffstat (limited to 'bin/dune')
-rw-r--r-- | bin/dune | 15 |
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)) |