From d3708bb28adcd0220142f1890ab96bfd2df637d3 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sat, 4 Apr 2026 17:10:32 -0300
Subject: remove interop with c

---
 lib/core_functions.ml | 23 -----------------------
 1 file changed, 23 deletions(-)
 delete mode 100644 lib/core_functions.ml

(limited to 'lib/core_functions.ml')

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
-- 
cgit v1.2.3