From 9d52407e9fccf27d02d952d40f3758dfe1898767 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Mon, 1 Apr 2019 19:09:59 +0200
Subject: [native compiler] Allow to set the output directory for cmx objects

This is useful in order to implement native support in Dune for
example, which as of today as strict target rules.

Hopefully this option could go away; it is really internal, but I've
chosen to document it.
---
 kernel/nativelib.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/nativelib.mli')

diff --git a/kernel/nativelib.mli b/kernel/nativelib.mli
index 52d18acca6..4d95f822e7 100644
--- a/kernel/nativelib.mli
+++ b/kernel/nativelib.mli
@@ -13,7 +13,7 @@ open Nativecode
 used by the native compiler. *)
 
 (* Directory where compiled files are stored *)
-val output_dir : string
+val output_dir : CUnix.physical_path ref
 
 val get_load_paths : (unit -> string list) ref
 
-- 
cgit v1.2.3