diff options
Diffstat (limited to 'man/ocamlprof.m')
| -rw-r--r-- | man/ocamlprof.m | 31 |
1 files changed, 23 insertions, 8 deletions
diff --git a/man/ocamlprof.m b/man/ocamlprof.m index abc5301dd..8c60c01cc 100644 --- a/man/ocamlprof.m +++ b/man/ocamlprof.m @@ -22,9 +22,9 @@ Objective Caml program instrumented with It produces a source listing of the program modules given as arguments where execution counts have been inserted as comments. For instance, -.P -ocamlprof foo.ml -.P + +.B ocamlprof foo.ml + prints the source code for the foo module, with comments indicating how many times the functions in this module have been called. Naturally, this information is accurate only if the source file has not been modified @@ -33,14 +33,13 @@ since the profiling execution took place. .SH OPTIONS .TP -.BI \-f \ dumpfile +.BI \-f \ dumpfile Specifies an alternate dump file of profiling information. -The default is the file ocamlprof.dump in the current directory. .TP .BI \-F \ string Specifies an additional string to be output with profiling information. By default, -.B ocamlprof +.BR ocamlprof (1) will annotate programs with comments of the form .BI (* \ n \ *) where @@ -48,10 +47,26 @@ where is the counter value for a profiling point. With option .BI \-F \ string the annotation will be -.BI (* \ s\ n \ *) +.BI (* \ string\ n \ *) +.TP +.BI \-impl \ filename +Compile the file +.I filename +as an implementation file, even if its extension is not .ml. +.TP +.BI \-intf \ filename +Compile the file +.I filename +as an interface file, even if its extension is not .mli. +.TP +.B \-version +Print the version number of ocamlprof and exit. +.TP +.BR \-help \ or \ \-\-help +Display a short usage summary and exit. .SH SEE ALSO .BR ocamlcp (1). .br -.I The Objective Caml user's manual, +.IR "The Objective Caml user's manual" , chapter "Profiling". |