diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-04-04 17:10:32 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-04-04 17:10:32 -0300 |
| commit | d3708bb28adcd0220142f1890ab96bfd2df637d3 (patch) | |
| tree | 29da1e5e79c0481cb364bdc9d1da0147da0200fd /lib/dune | |
| parent | 63ae3c930de89af6f85229a467caa3f53cb844a2 (diff) | |
| download | Sakura-d3708bb28adcd0220142f1890ab96bfd2df637d3.tar.gz Sakura-d3708bb28adcd0220142f1890ab96bfd2df637d3.zip | |
remove interop with c
Diffstat (limited to 'lib/dune')
| -rw-r--r-- | lib/dune | 30 |
1 files changed, 2 insertions, 28 deletions
@@ -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))) |
