diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-26 15:35:39 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-26 15:35:39 -0300 |
| commit | b555c28c7e6c315fc0394baf213ecb08b21ed959 (patch) | |
| tree | a1a181863805d013aafcd5957944790328ce027b /lib/dune | |
| parent | e32ba6294781691846c3ab19281fe977350b4d0f (diff) | |
| download | Sakura-b555c28c7e6c315fc0394baf213ecb08b21ed959.tar.gz Sakura-b555c28c7e6c315fc0394baf213ecb08b21ed959.zip | |
further deletions on drl and prelude
Diffstat (limited to 'lib/dune')
| -rw-r--r-- | lib/dune | 4 |
1 files changed, 1 insertions, 3 deletions
@@ -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))) |