Rechercher une page de manuel

Chercher une autre page de manuel:

ocamlprof

Langue: en

Autres versions - même langue

Version: 149407 (fedora - 04/07/09)

Section: 1 (Commandes utilisateur)

NAME

ocamlprof - The Objective Caml profiler

SYNOPSIS

ocamlprof [ -f dump-file ] [ -F text ] filename ...

DESCRIPTION

The ocamlprof command prints execution counts gathered during the execution of a Objective Caml program instrumented with ocamlcp(1).

It produces a source listing of the program modules given as arguments where execution counts have been inserted as comments. For instance,

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 since the profiling execution took place.

OPTIONS

-f dumpfile
Specifies an alternate dump file of profiling information.
-F string
Specifies an additional string to be output with profiling information. By default, ocamlprof(1) will annotate programs with comments of the form (* n *) where n is the counter value for a profiling point. With option -F s the annotation will be (* sn *)
-impl filename
Compile the file filename as an implementation file, even if its extension is not .ml.
-intf filename
Compile the file filename as an interface file, even if its extension is not .mli.
-version
Print the version number of ocamlprof and exit.
-help or --help
Display a short usage summary and exit.

SEE ALSO

ocamlcp(1).
The Objective Caml user's manual, chapter "Profiling".
Ils vivent de nombreuses années, ils ont beaucoup de mémoire et
transmettent leur sagesse à leurs enfants. Je connaissais un bon
nombre de corbeaux des rochers quand j'étais un jeune nain. Cette
hauteur même s'appelait autrefois Ravenhill, parce qu'un sage et
fameux couple, le vieux Carc et sa femme, vivait ici au-dessus du
corps de garde. Mais je pense qu'il ne reste plus ici personne de
cette ancienne race.
-- J.R.R. Tolkien, "Bilbo le Hobbit"