aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dune
diff options
context:
space:
mode:
authorMarcos Magueta <maguetamarcos@gmail.com>2026-04-04 17:10:32 -0300
committerMarcos Magueta <maguetamarcos@gmail.com>2026-04-04 17:10:32 -0300
commitd3708bb28adcd0220142f1890ab96bfd2df637d3 (patch)
tree29da1e5e79c0481cb364bdc9d1da0147da0200fd /lib/dune
parent63ae3c930de89af6f85229a467caa3f53cb844a2 (diff)
downloadSakura-d3708bb28adcd0220142f1890ab96bfd2df637d3.tar.gz
Sakura-d3708bb28adcd0220142f1890ab96bfd2df637d3.zip
remove interop with c
Diffstat (limited to 'lib/dune')
-rw-r--r--lib/dune30
1 files changed, 2 insertions, 28 deletions
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)))