From 1378202e6b0b51d7d338a1042824860f19fcbc9b Mon Sep 17 00:00:00 2001 From: Estevan Castilho Date: Thu, 28 May 2026 00:31:11 +0000 Subject: Link against RNT directly, rather than `dlopen`ing at runtime --- lib/nt_ffi.ml | 13 +------------ 1 file changed, 1 insertion(+), 12 deletions(-) (limited to 'lib/nt_ffi.ml') diff --git a/lib/nt_ffi.ml b/lib/nt_ffi.ml index b7e65c4..8b70150 100644 --- a/lib/nt_ffi.ml +++ b/lib/nt_ffi.ml @@ -4,18 +4,7 @@ open Ctypes open Foreign -(* Load the shared library. Set RNT_LIBRARY_PATH to the full path of - libRNT.dylib / libRNT.so when the library is not on the default search - path. *) -let lib = - let path = - match Sys.getenv_opt "RNT_LIBRARY_PATH" with - | Some p -> p - | None -> "libRNT.dylib" - in - Dl.(dlopen ~filename:path ~flags:[ RTLD_NOW; RTLD_GLOBAL ]) - -let fn name typ = foreign ~from:lib name typ +let fn name typ = foreign name typ (* Runtime ----------------------------------------------------------------- *) let rnt_init = -- cgit v1.2.3