From 1d8725b59309c2c9f870eb52a2daebe87ed9ad5b Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Mon, 9 Oct 2017 16:12:26 +0200 Subject: [flambda] [native] Pass `-Oclassic` to the native compiler. This seems a safe choice as of today, but more advanced users would like to tweak it, or we could even refine it by a configure option if desired. --- INSTALL | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) (limited to 'INSTALL') diff --git a/INSTALL b/INSTALL index 808e76882..faac79f18 100644 --- a/INSTALL +++ b/INSTALL @@ -139,12 +139,14 @@ INSTALLATION PROCEDURE IN DETAILS (NORMAL USERS). of flags. You can read more at https://caml.inria.fr/pub/docs/manual-ocaml/flambda.html - Note that a regular build with a flambda-enabled compiler - requires a large amount of RAM (>= 10GiB) in one particular - file, see: https://caml.inria.fr/mantis/view.php?id=7630 + There is a known problem with certain OCaml versions and + `native_compute`, that will make compilation to require + a large amount of RAM (>= 10GiB) in some particular files. - Meanwhile, users with less powerful machines are recommended - to disable native compilation with `-native-compiler no`. + We recommend disabling native compilation (`-native-compiler no`) + with flambda unless you use a modern (>= 4.06.0) OCaml. + + c.f. https://caml.inria.fr/mantis/view.php?id=7630 5- Still in the root directory, do -- cgit v1.2.3