Flashnux

GNU/Linux man pages

Livre :
Expressions régulières,
Syntaxe et mise en oeuvre :

ISBN : 978-2-7460-9712-4
EAN : 9782746097124
(Editions ENI)

GNU/Linux

Debian 7.3.0

(Wheezy)

ocamlprof(1)


OCAMLPROF

OCAMLPROF

NAME
SYNOPSIS
DESCRIPTION
OPTIONS
SEE ALSO

NAME

ocamlprof − The Objective Caml profiler

SYNOPSIS

ocamlprof [ options ] 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 (* *) 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 version string and exit.

−vnum

Print short version number and exit.

−help or −−help

Display a short usage summary and exit.

SEE ALSO

ocamlcp(1).
The Objective Caml user’s manual
, chapter "Profiling".



ocamlprof(1)