diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-03-05 23:42:15 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-03-05 23:42:15 -0300 |
| commit | 8c640a262969ef44cd8bc0e0abe95e2a54f4c3f5 (patch) | |
| tree | 84f9ddd9e41236fb7a6f540aab07e65db9bc93cb /lib/dune | |
| parent | 295c6a5a1f2b0db9d756ffe7bf413553a0c02737 (diff) | |
| download | Sakura-8c640a262969ef44cd8bc0e0abe95e2a54f4c3f5.tar.gz Sakura-8c640a262969ef44cd8bc0e0abe95e2a54f4c3f5.zip | |
ocaml re-migration
Diffstat (limited to 'lib/dune')
| -rw-r--r-- | lib/dune | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/lib/dune b/lib/dune new file mode 100644 index 0000000..1397a97 --- /dev/null +++ b/lib/dune @@ -0,0 +1,40 @@ +(library + (name relational_engine) + (libraries + ctypes + ctypes-foreign + data-encoding + lwt + lwt.unix + lwt-exit + ppx_protocol_conv_xml_light + sexplib) + (preprocess + (pps ppx_deriving.show ppx_sexp_conv ppx_protocol_conv)) + (c_library_flags + (-L %{env:LIBRELATIONAL_ENGINE_LIB_PATH=}) + (-lrelational_engine)) + ;; (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))) |