aboutsummaryrefslogtreecommitdiffstats
path: root/lib/core_functions.ml
diff options
context:
space:
mode:
Diffstat (limited to 'lib/core_functions.ml')
-rw-r--r--lib/core_functions.ml23
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