Basic storage with C interop (#1)

* writer command design

* dune build with shared core lib

* port c lib project inside ocaml

* os specific dynamic link

* fix project name on flake

* fix: cmake cxx version breaking merklecpp

* finish write to disk and update maps func

* add non atomic commit to transaction graph

* merkle tree binding for generating root hash

* disk module refactor

---------

Co-authored-by: Renan Lopes <renans.l@icloud.com>

1 files changed, 27 insertions, 29 deletions

diff --git a/lib/dune b/lib/dune
index bdde443..a5d0378 100644
--- a/lib/dune
+++ b/lib/dune
@@ -1,31 +1,29 @@
 (library
  (name relational_engine)
- (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))
-
-  )
+ (libraries ctypes ctypes-foreign data-encoding)
+ ;; (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)))