diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-04-04 17:10:32 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-04-04 17:10:32 -0300 |
| commit | d3708bb28adcd0220142f1890ab96bfd2df637d3 (patch) | |
| tree | 29da1e5e79c0481cb364bdc9d1da0147da0200fd /lib/core_functions.ml | |
| parent | 63ae3c930de89af6f85229a467caa3f53cb844a2 (diff) | |
| download | Sakura-d3708bb28adcd0220142f1890ab96bfd2df637d3.tar.gz Sakura-d3708bb28adcd0220142f1890ab96bfd2df637d3.zip | |
remove interop with c
Diffstat (limited to 'lib/core_functions.ml')
| -rw-r--r-- | lib/core_functions.ml | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/lib/core_functions.ml b/lib/core_functions.ml deleted file mode 100644 index 9cb6213..0000000 --- a/lib/core_functions.ml +++ /dev/null @@ -1,23 +0,0 @@ -module Types = Types_generated - -module Functions (F : Ctypes.FOREIGN) = struct - open Ctypes_static - - let os_extension = - if Sys.os_type = "Unix" then - let ic = Unix.open_process_in "uname" in - let uname = input_line ic in - let () = close_in ic in - if uname = "Darwin" then "dylib" else "so" - else "dll" - - let libmerklecpp = - Dl.dlopen ~flags:[ RTLD_GLOBAL; RTLD_NOW ] - ~filename: - (Sys.getenv "LIBRELATIONAL_ENGINE_LIB_PATH" - ^ "/librelational_engine." ^ os_extension) - - let compute_hash = - Foreign.foreign ~from:libmerklecpp "compute_hash" - (ptr char @-> Ctypes.string @-> returning void) -end |