From b555c28c7e6c315fc0394baf213ecb08b21ed959 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sat, 26 Sep 2026 15:35:39 -0300 Subject: further deletions on drl and prelude --- lib/dune | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'lib/dune') 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))) -- cgit v1.2.3