summaryrefslogtreecommitdiff
path: root/bin/dune
diff options
context:
space:
mode:
Diffstat (limited to 'bin/dune')
-rw-r--r--bin/dune10
1 files changed, 1 insertions, 9 deletions
diff --git a/bin/dune b/bin/dune
index a186150..9c34236 100644
--- a/bin/dune
+++ b/bin/dune
@@ -5,17 +5,9 @@
(:standard -cclib -static -cclib -no-pie))
(libraries
rinha
-
piaf
routes
eio_main
- caqti-driver-postgresql
logs.fmt
fmt.tty
- logs.threaded
- caqti-eio
- caqti
- ppx_rapper_eio)
-
- (preprocess
- (pps ppx_rapper)))
+ logs.threaded))