From 406717ce786a70e64b9043db45dd5a2add68f817 Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Mon, 27 Jun 2016 23:49:09 +0200 Subject: [configure] Support for flambda flags. We add a new option to configure `-flambda-opts` to allow passing custom flags to flambda. Example: ``` ./configure -flambda-opts "-O3 -unbox-closures" ``` --- INSTALL | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) (limited to 'INSTALL') diff --git a/INSTALL b/INSTALL index 676a1f8ea0..808e768821 100644 --- a/INSTALL +++ b/INSTALL @@ -128,6 +128,24 @@ INSTALLATION PROCEDURE IN DETAILS (NORMAL USERS). Use to open an URL in a browser. %s must appear in , and will be replaced by the URL. +-flambda-opts + This experimental option will pass specific user flags to the + OCaml optimizing compiler. In most cases, this option is used + to tweak the flambda backend; we recommend using + + -flambda-opts `-O3 -unbox-closures` + + but of course you are free to try with a different combination + 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 + + Meanwhile, users with less powerful machines are recommended + to disable native compilation with `-native-compiler no`. + 5- Still in the root directory, do make -- cgit v1.2.3 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 808e768821..faac79f188 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