aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dune
diff options
context:
space:
mode:
Diffstat (limited to 'lib/dune')
-rw-r--r--lib/dune4
1 files changed, 1 insertions, 3 deletions
diff --git a/lib/dune b/lib/dune
index 5d3522c..543ab60 100644
--- a/lib/dune
+++ b/lib/dune
@@ -5,7 +5,6 @@
(public_name sakura.relational_engine)
(libraries
dynlink
- sakura_prl_api
sha
data-encoding
lwt
@@ -17,5 +16,4 @@
ctypes
ctypes.foreign)
(preprocess
- (pps ppx_deriving.show ppx_sexp_conv ppx_protocol_conv))
- (flags :standard -cclib -lRNT))
+ (pps ppx_deriving.show ppx_sexp_conv ppx_protocol_conv)))