diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2024-10-27 01:53:18 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-27 01:53:18 -0300 |
| commit | fcb5613755b08fcb7ae73a3826b1cdce40e2747f (patch) | |
| tree | e9f1df3a4e0d9b2bb38fdc432edeae21424dbe99 /lib/dune | |
| parent | 2eab114a120c7818861c0640ecdc300cf7366e53 (diff) | |
| download | Sakura-fcb5613755b08fcb7ae73a3826b1cdce40e2747f.tar.gz Sakura-fcb5613755b08fcb7ae73a3826b1cdce40e2747f.zip | |
State of the world with Merkle Tree composition of files (#2)
* file state hash calculation with history on replace and insert
* add state transitions with linear hashing
* add test
* format dune files
* nix format
* delete shared flake
* disable fmt check on flake
* add nix formatter to flake shell
Diffstat (limited to '')
| -rw-r--r-- | lib/dune | 7 |
1 files changed, 3 insertions, 4 deletions
@@ -10,14 +10,13 @@ ;; (-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)) + (headers + (include %{env:LIBRELATIONAL_ENGINE_INCLUDE_PATH=}/library.h)) (build_flags_resolver (vendored - (c_flags - -L %{env:LIBRELATIONAL_ENGINE_LIB_PATH=}))) + (c_flags -L %{env:LIBRELATIONAL_ENGINE_LIB_PATH=}))) (type_description (instance Types) (functor core_types)) |