diff options
Diffstat (limited to 'man')
| -rw-r--r-- | man/ocamlc.m | 22 | ||||
| -rw-r--r-- | man/ocamldebug.m | 9 | ||||
| -rw-r--r-- | man/ocamlopt.m | 21 |
3 files changed, 37 insertions, 15 deletions
diff --git a/man/ocamlc.m b/man/ocamlc.m index 38542b502d..1d3c56faa0 100644 --- a/man/ocamlc.m +++ b/man/ocamlc.m @@ -335,14 +335,16 @@ that file to remove all declarations of unexported names. Add the given directory to the list of directories searched for compiled interface files (.cmi), compiled object code files (.cmo), libraries (.cma), and C libraries specified with -.B \-cclib\ \-l -.IR xxx . +.BI \-cclib\ \-l xxx +.RB . By default, the current directory is searched first, then the standard library directory. Directories added with -.B -I +.B \-I are searched after the current directory, in the order in which they were given on -the command line, but before the standard library directory. +the command line, but before the standard library directory. See also +option +.BR \-nostdlib . If the given directory starts with .BR + , @@ -421,10 +423,14 @@ Ignore non-optional labels in types. Labels cannot be used in applications, and parameter order becomes strict. .TP .B \-nostdlib -Do not include the standard library directory in the list of -directories searched for compiled interfaces (see option -.B \-I -). +Do not automatically add the standard library directory to the list of +directories searched for compiled interface files (.cmi), compiled +object code files (.cmo), libraries (.cma), and C libraries specified +with +.BI \-cclib\ \-l xxx +.RB . +See also option +.BR \-I . .TP .BI \-o \ exec\-file Specify the name of the output file produced by the linker. The diff --git a/man/ocamldebug.m b/man/ocamldebug.m index a470150a6f..50354d93c5 100644 --- a/man/ocamldebug.m +++ b/man/ocamldebug.m @@ -58,6 +58,8 @@ command.) Tell the debugger it is executed under Emacs. (See .I "The OCaml user's manual" for information on how to run the debugger under Emacs.) +Implies +.BR \-machine-readable . .TP .BI \-I \ directory Add @@ -67,6 +69,13 @@ compiled files. (See also the .B directory command.) .TP +.BI -machine-readable +Print information in a format more suitable for machines instead of human +operators where applicable. For example, when describing a location in a +program, such as when printing a backtrace, print the program counter and +character offset in a file instead of the filename, line number, and character +offset in that line. +.TP .BI \-s \ socket Use .I socket diff --git a/man/ocamlopt.m b/man/ocamlopt.m index 6efb909aea..d00cbf99d2 100644 --- a/man/ocamlopt.m +++ b/man/ocamlopt.m @@ -248,11 +248,13 @@ and edit that file to remove all declarations of unexported names. .TP .BI \-I \ directory Add the given directory to the list of directories searched for -compiled interface files (.cmi) and compiled object code files -(.cmo). By default, the current directory is searched first, then the -standard library directory. Directories added with \-I are searched -after the current directory, in the order in which they were given on -the command line, but before the standard library directory. +compiled interface files (.cmi), compiled object code files (.cmx), +and libraries (.cmxa). By default, the current directory is searched +first, then the standard library directory. Directories added with \-I +are searched after the current directory, in the order in which they +were given on the command line, but before the standard library +directory. See also option +.BR \-nostdlib . If the given directory starts with .BR + , @@ -340,6 +342,12 @@ and pass the correct C libraries and options on the command line. Allow the compiler to use some optimizations that are valid only for code that is never dynlinked. .TP +.B -nostdlib +Do not automatically add the standard library directory the list of +directories searched for compiled interface files (.cmi), compiled +object code files (.cmx), and libraries (.cmxa). See also option +.BR \-I . +.TP .B \-nolabels Ignore non-optional labels in types. Labels cannot be used in applications, and parameter order becomes strict. @@ -522,7 +530,7 @@ standard library directory, then exit. Print all external commands before they are executed, in particular invocations of the assembler, C compiler, and linker. .TP -.BR \-vnum or \-version +.BR \-version \ or\ \-vnum Print the version number of the compiler in short form (e.g. "3.11.0"), then exit. .TP @@ -563,7 +571,6 @@ The default setting is .B \-warn\-help Show the description of all available warning numbers. .TP -.TP .B \-where Print the location of the standard library, then exit. .TP |