diff options
| author |  Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-10-09 16:12:26 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-10-10 10:47:58 +0200 |
| commit | 1d8725b59309c2c9f870eb52a2daebe87ed9ad5b (patch) | |
| tree | 5f7beb8ea5b420cbbcbad414e6f216b34d08b464 /INSTALL | |
| parent | 406717ce786a70e64b9043db45dd5a2add68f817 (diff) | |
[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.
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 12 |
1 files changed, 7 insertions, 5 deletions
@@ -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 |