From 547460e087336f1fbe52d64b77ddee9fdb26abc4 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Wed, 16 Oct 2024 21:18:15 -0300 Subject: dune build with foreign stubs --- lib/dune | 37 +++++++++++++++++++++++++++++-------- 1 file changed, 29 insertions(+), 8 deletions(-) (limited to 'lib') diff --git a/lib/dune b/lib/dune index 3bc492f..bdde443 100644 --- a/lib/dune +++ b/lib/dune @@ -1,10 +1,31 @@ (library (name relational_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=})))) + (libraries ctypes ctypes-foreign) + (modes native) + (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 merklecpp_stub) + ;; (headers (include "/Users/mmagueta/CLionProjects/merklecpp_stub/library.h")) + ;; (build_flags_resolver + ;; (vendored + ;; (c_flags + ;; -L %{env:MERKLECPP_LIB_PATH=}))) + ;; (type_description + ;; (instance Types) + ;; (functor Type_description)) + ;; (function_description + ;; (concurrency unlocked) + ;; (instance Functions) + ;; (functor Function_description)) + ;; (generated_types Types_generated) + ;; (generated_entry_point C)) + + ) -- cgit v1.2.3