summaryrefslogtreecommitdiff
path: root/man
diff options
context:
space:
mode:
authoralainfrisch <alain@frisch.fr>2015-12-11 12:58:07 +0100
committeralainfrisch <alain@frisch.fr>2015-12-11 12:58:43 +0100
commita9854a4a3e55390809b6554d580af972b3f9ce90 (patch)
treefc4de4b28c11519b84160c2b56dbb4e8f457a96f /man
parent22681b8d2a56b308673b58fba1a06781bfc6d4b6 (diff)
downloadocaml-a9854a4a3e55390809b6554d580af972b3f9ce90.tar.gz
#5995: document -for-pack as mandatory including in bytecode. This is required to get proper names for exceptions.
Diffstat (limited to 'man')
-rw-r--r--man/ocamlc.m13
1 files changed, 9 insertions, 4 deletions
diff --git a/man/ocamlc.m b/man/ocamlc.m
index 134c7eb4a2..e5a8693f96 100644
--- a/man/ocamlc.m
+++ b/man/ocamlc.m
@@ -313,10 +313,15 @@ executable file, where
.BR ocamlrun (1)
can find it and use it.
.TP
-.BI \-for\-pack \ ident
-This option is accepted for compatibility with
-.BR ocamlopt (1)
-; it does nothing.
+.BI \-for\-pack \ module\-path
+Generate an object file (.cmx and .o files) that can later be included
+as a sub-module (with the given access path) of a compilation unit
+constructed with
+.BR \-pack .
+For instance,
+.B ocamlc\ \-for\-pack\ P\ \-c\ A.ml
+will generate a.cmo that can later be used with
+.BR "ocamlc -pack -o P.cmo a.cmo" .
.TP
.B \-g
Add debugging information while compiling and linking. This option is