diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2014-05-11 00:17:05 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2014-05-11 00:17:05 +0000 |
| commit | ccce2729666c4df6a1a7e5b92addb7b81d67dd23 (patch) | |
| tree | 0cb546d5713db6e1fad031c12d084dfa05c9fc1e /man | |
| parent | fc8c7778250119e7be7df329929861ef6b77b55f (diff) | |
| download | ocaml-ccce2729666c4df6a1a7e5b92addb7b81d67dd23.tar.gz | |
commit o_and_opens.diff
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14787 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'man')
| -rw-r--r-- | man/ocaml.m | 6 | ||||
| -rw-r--r-- | man/ocamlc.m | 12 | ||||
| -rw-r--r-- | man/ocamlopt.m | 12 |
3 files changed, 30 insertions, 0 deletions
diff --git a/man/ocaml.m b/man/ocaml.m index a65a677394..cb2a0bde16 100644 --- a/man/ocaml.m +++ b/man/ocaml.m @@ -133,6 +133,12 @@ window. Do not include the standard library directory in the list of directories searched for source and compiled files. .TP +.BI \-open \ module +Opens the given module before starting the toplevel. If several +.B \-open +options are given, they are processed in order, just as if +the statements open module1;; ... open moduleN;; were input. +.TP .BI \-ppx \ command After parsing, pipe the abstract syntax tree through the preprocessor .IR command . diff --git a/man/ocamlc.m b/man/ocamlc.m index d7c6ca4f07..d84bc50b7e 100644 --- a/man/ocamlc.m +++ b/man/ocamlc.m @@ -449,6 +449,18 @@ packed object file produced. If the .B \-output\-obj option is given, specify the name of the output file produced. +This can also be used when compiling an interface or implementation +file, without linking, in which case it sets the name of the cmi or +cmo file, and also sets the module name to the file name up to the +first dot. +.TP +.BI \-open \ module +Opens the given module before processing the interface or +implementation files. If several +.B \-open +options are given, they are processed in order, just as if +the statements open module1;; ... open moduleN;; were added +at the top of each file. .TP .B \-output\-obj Cause the linker to produce a C object file instead of a bytecode diff --git a/man/ocamlopt.m b/man/ocamlopt.m index 655268338b..674e56b78b 100644 --- a/man/ocamlopt.m +++ b/man/ocamlopt.m @@ -367,6 +367,18 @@ If the option is given, specify the name of the output file produced. If the .B \-shared option is given, specify the name of plugin file produced. +This can also be used when compiling an interface or implementation +file, without linking, in which case it sets the name of the cmi or +cmo file, and also sets the module name to the file name up to the +first dot. +.TP +.BI \-open \ module +Opens the given module before processing the interface or +implementation files. If several +.B \-open +options are given, they are processed in order, just as if +the statements open module1;; ... open moduleN;; were added +at the top of each file. .TP .B \-output\-obj Cause the linker to produce a C object file instead of an executable |