diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2024-10-16 21:18:15 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2024-10-16 21:18:15 -0300 |
| commit | 547460e087336f1fbe52d64b77ddee9fdb26abc4 (patch) | |
| tree | 0b634110738ca433f101d32e465328a3bf4179d5 /lib/dune | |
| parent | e339fa975e21c1b589a8dfc6ac083aba2b0a6394 (diff) | |
| download | Sakura-547460e087336f1fbe52d64b77ddee9fdb26abc4.tar.gz Sakura-547460e087336f1fbe52d64b77ddee9fdb26abc4.zip | |
dune build with foreign stubs
Diffstat (limited to 'lib/dune')
| -rw-r--r-- | lib/dune | 37 |
1 files changed, 29 insertions, 8 deletions
@@ -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)) + + ) |
