diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1999-02-25 14:25:54 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1999-02-25 14:25:54 +0000 |
| commit | 85802ed939245f49c331441c7d6e1af65f37230d (patch) | |
| tree | c0d5adacb42d1c5a445668d0ade01d6993336de6 /man/ocamlopt.m | |
| parent | 88dcc69825a33c3ac6d0dab613ea009eb3dbab2a (diff) | |
Ajout et corrections de pages de man
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2311 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'man/ocamlopt.m')
| -rw-r--r-- | man/ocamlopt.m | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/man/ocamlopt.m b/man/ocamlopt.m index bff268dc4..c15614102 100644 --- a/man/ocamlopt.m +++ b/man/ocamlopt.m @@ -29,6 +29,9 @@ ocamlopt \- The Objective Caml native-code compiler ] .I filename ... +.B ocamlopt.opt +.I (same options) + .SH DESCRIPTION The Objective Caml high-performance native-code compiler @@ -121,6 +124,17 @@ does not need .BR ocamlrun (1) to run. +.B ocamlopt.opt +is the same compiler as +.BR ocamlopt , +but compiled with itself instead of with the bytecode compiler +.BR ocamlc (1). +Thus, it behaves exactly like +.BR ocamlopt , +but compiles faster. +.B ocamlopt.opt +is not available in all installations of Objective Caml. + .SH OPTIONS The following command-line options are recognized by @@ -157,6 +171,7 @@ causes the C linker to search for C libraries in directory .IR dir . +.TP .B \-compact Optimize the produced code for space rather than for time. This results in smaller but slightly slower programs. The default is to |