From 94319a520e7df0713942c2caada43214b49ed19b Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Fri, 12 Feb 2021 16:56:55 +0100
Subject: Delay the dynamic linking of native-code libraries until
 native_compute is called (fix #13849).

The libraries are eventually linked in native_norm and native_conv_gen,
just before mk_norm_code and mk_conv_code are called.

This commit also renames call_linker as execute_library to better reflect
its role. It also makes link_library independent from it, since their
error handling are completely opposite.
---
 kernel/nativecode.mli | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'kernel/nativecode.mli')

diff --git a/kernel/nativecode.mli b/kernel/nativecode.mli
index 1b14801fec..90525a19b2 100644
--- a/kernel/nativecode.mli
+++ b/kernel/nativecode.mli
@@ -63,6 +63,8 @@ val empty_updates : code_location_updates
 
 val register_native_file : string -> unit
 
+val is_loaded_native_file : string -> bool
+
 val compile_constant_field : env -> string -> Constant.t ->
   global list -> 'a constant_body -> global list
 
-- 
cgit v1.2.3