👤
Home Man
Search
Today's Posts
Register

Linux & Unix Commands - Search Man Pages
Man Page or Keyword Search:
Select Section of Man Page:
Select Man Page Repository:

CentOS 7.0 - man page for ocamlprof (centos section 1)

OCAMLPROF(1)									     OCAMLPROF(1)

NAME
       ocamlprof - The OCaml profiler

SYNOPSIS
       ocamlprof [ options ] filename ...

DESCRIPTION
       The  ocamlprof  command	prints	execution counts gathered during the execution of a OCaml
       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 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 OCaml user's manual, chapter "Profiling".

										     OCAMLPROF(1)


All times are GMT -4. The time now is 04:19 AM.

Unix & Linux Forums Content Copyrightę1993-2018. All Rights Reserved.
×
UNIX.COM Login
Username:
Password:  
Show Password