From d8ee64ace969287dbec6ba2777c08f19a25cab26 Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Wed, 12 Feb 2020 11:55:54 +0100 Subject: [native compiler] Allow to set OCaml include dirs for compilation `Nativelib` currently assumes that objects are built in some particular directories, but this is not true in some cases, for example, when building with Dune. We add a new option `-nI` to allow clients to specify the OCaml include dirs. --- kernel/nativelib.mli | 1 + 1 file changed, 1 insertion(+) (limited to 'kernel/nativelib.mli') diff --git a/kernel/nativelib.mli b/kernel/nativelib.mli index 4d95f822e7..155fde54e9 100644 --- a/kernel/nativelib.mli +++ b/kernel/nativelib.mli @@ -14,6 +14,7 @@ used by the native compiler. *) (* Directory where compiled files are stored *) val output_dir : CUnix.physical_path ref +val include_dirs : CUnix.physical_path list ref val get_load_paths : (unit -> string list) ref -- cgit v1.2.3