diff options
| author | François Bobot <francois.bobot@cea.fr> | 2021-02-08 19:06:22 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-08 19:06:22 +0100 |
| commit | 841607f54e9773cf181a146ae982436c737132c5 (patch) | |
| tree | b3267ed8391b5c96f5961171c41f9af308edd80f /man | |
| parent | 05537239d87d096ca7362504cafb27fc4e7c707e (diff) | |
| download | ocaml-841607f54e9773cf181a146ae982436c737132c5.tar.gz | |
[Doc] adds for `-output-complete-obj` option (#1351)
Diffstat (limited to 'man')
| -rw-r--r-- | man/ocamlc.m | 8 | ||||
| -rw-r--r-- | man/ocamlopt.m | 6 |
2 files changed, 14 insertions, 0 deletions
diff --git a/man/ocamlc.m b/man/ocamlc.m index b0608d4400..ee70817a86 100644 --- a/man/ocamlc.m +++ b/man/ocamlc.m @@ -526,6 +526,8 @@ produced. If the option is given, specify the name of the packed object file produced. If the .B \-output\-obj +or +.B \-output\-complete\-obj option is given, specify the name of the output file produced. This can also be used when compiling an interface or implementation @@ -559,6 +561,12 @@ option. This option can also be used to produce a C source file (.c extension) or a compiled shared/dynamic library (.so extension). .TP +.B \-output\-complete\-obj +Same as +.B \-output\-obj +except when creating an object file where it includes the runtime and +autolink libraries. +.TP .B \-pack Build a bytecode object file (.cmo file) and its associated compiled interface (.cmi) that combines the object diff --git a/man/ocamlopt.m b/man/ocamlopt.m index b7f6bb81f4..45f15097c3 100644 --- a/man/ocamlopt.m +++ b/man/ocamlopt.m @@ -475,6 +475,12 @@ must be set with the option. This option can also be used to produce a compiled shared/dynamic library (.so extension). +.B \-output\-complete\-obj +Same as +.B \-output\-obj +except the object file produced includes the runtime and +autolink libraries. +.TP .TP .B \-pack Build an object file (.cmx and .o files) and its associated compiled |