GPR#387, MPR#7172: document ./configure -no-native-compiler

2016-03-17 01:44:41 +01:00 · 2016-03-17 01:44:41 +01:00 · ad7cd47ea8
parent 884d30dcb0
commit ad7cd47ea8
1 changed files with 3 additions and 0 deletions
--- 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.