From 6acf543800fe176ca7d47ef7165ebc14588efb6f Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Tue, 29 Apr 2014 14:41:49 -0400
Subject: Native compiler: hide compiled files in a .coq-native subdirectory.

---
 kernel/nativelib.mli | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'kernel/nativelib.mli')

diff --git a/kernel/nativelib.mli b/kernel/nativelib.mli
index 9ef8c06a31..e577a9032b 100644
--- a/kernel/nativelib.mli
+++ b/kernel/nativelib.mli
@@ -16,15 +16,15 @@ val load_obj : (string -> unit) ref
 
 val get_ml_filename : unit -> string * string
 
-val write_ml_code : string ->
-  ?header:Nativecode.global list -> global list -> unit
-
-val call_compiler : string -> string list -> int * string
-
 val compile : string -> global list -> int * string
 
+val compile_library : Names.dir_path ->
+		      global list -> string list -> string -> int
+
 val call_linker :
-  fatal:bool -> string -> string -> code_location_updates option -> unit
+  ?fatal:bool -> string -> string -> code_location_updates option -> unit
+
+val link_library : prefix:string -> dirname:string -> basename:string -> unit
 
 val rt1 : Nativevalues.t ref
 val rt2 : Nativevalues.t ref
-- 
cgit v1.2.3