From d3708bb28adcd0220142f1890ab96bfd2df637d3 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sat, 4 Apr 2026 17:10:32 -0300 Subject: remove interop with c --- lib/dune | 30 ++---------------------------- 1 file changed, 2 insertions(+), 28 deletions(-) (limited to 'lib/dune') diff --git a/lib/dune b/lib/dune index a6b503d..7833c8a 100644 --- a/lib/dune +++ b/lib/dune @@ -3,8 +3,7 @@ (library (name relational_engine) (libraries - ctypes - ctypes-foreign + sha data-encoding lwt lwt.unix @@ -13,29 +12,4 @@ ppx_protocol_conv_xml_light sexplib) (preprocess - (pps ppx_deriving.show ppx_sexp_conv ppx_protocol_conv)) - ;; (c_library_flags -lssl -lcrypto -L %{env:LIBRESSL_LIB_PATH=}) - ;; (foreign_stubs - ;; (language cxx) - ;; (names merklecpp_stubs) - ;; (flags - ;; (:standard -lssl -lcrypto) - ;; (-L %{env:LIBRESSL_LIB_PATH=}) - ;; (-I %{env:LIBRESSL_INCLUDE_PATH=}) - ;; (-I %{env:MERKLECPP_INCLUDE_PATH=}))) - (ctypes - (external_library_name relational_engine) - (headers - (include %{env:LIBRELATIONAL_ENGINE_INCLUDE_PATH=}/library.h)) - (build_flags_resolver - (vendored - (c_flags -L %{env:LIBRELATIONAL_ENGINE_LIB_PATH=}))) - (type_description - (instance Types) - (functor core_types)) - (function_description - (concurrency unlocked) - (instance Functions) - (functor core_functions)) - (generated_types Types_generated) - (generated_entry_point C))) + (pps ppx_deriving.show ppx_sexp_conv ppx_protocol_conv))) -- cgit v1.2.3