diff options
Diffstat (limited to 'lib/nt_ffi.ml')
| -rw-r--r-- | lib/nt_ffi.ml | 13 |
1 files changed, 1 insertions, 12 deletions
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 = |