diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2016-03-17 01:44:41 +0100 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2016-04-04 08:43:58 -0400 |
| commit | ad7cd47ea808ac9a840f3401325bc3716fdede16 (patch) | |
| tree | d2c60b253b11fd00baf54c75ec1bdd49ac0e79d6 /INSTALL.adoc | |
| parent | 884d30dcb02bad60e2bc5dd1c7ad5cd32978c801 (diff) | |
| download | ocaml-ad7cd47ea808ac9a840f3401325bc3716fdede16.tar.gz | |
GPR#387, MPR#7172: document ./configure -no-native-compiler
Diffstat (limited to 'INSTALL.adoc')
| -rw-r--r-- | INSTALL.adoc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/INSTALL.adoc b/INSTALL.adoc index 52d48d5911..aaee76f3f9 100644 --- a/INSTALL.adoc +++ b/INSTALL.adoc @@ -111,6 +111,9 @@ The `configure` script accepts the following options: -no-debugger:: Do not build ocamldebug. +-no-native-compiler:: + Do not build the native compiler -- bytecode compilation only. + -no-ocamldoc:: Do not build ocamldoc. |