EnglishFrenchSpanish

OnWorks favicon

ocamlprof - Online in the Cloud

Run ocamlprof in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command ocamlprof that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

PROGRAM:

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.

Use ocamlprof online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    authpass
    authpass
    AuthPass is an open source password
    manager with support for the popular and
    proven Keepass (kdbx 3.x AND kdbx 4.x ...
    Download authpass
  • 2
    Zabbix
    Zabbix
    Zabbix is an enterprise-class open
    source distributed monitoring solution
    designed to monitor and track
    performance and availability of network
    servers, device...
    Download Zabbix
  • 3
    KDiff3
    KDiff3
    This repository is no longer maintained
    and is kept for archival purposes. See
    https://invent.kde.org/sdk/kdiff3 for
    the newest code and
    https://download.kde.o...
    Download KDiff3
  • 4
    USBLoaderGX
    USBLoaderGX
    USBLoaderGX is a GUI for
    Waninkoko's USB Loader, based on
    libwiigui. It allows listing and
    launching Wii games, Gamecube games and
    homebrew on Wii and WiiU...
    Download USBLoaderGX
  • 5
    Firebird
    Firebird
    Firebird RDBMS offers ANSI SQL features
    & runs on Linux, Windows &
    several Unix platforms. Features
    excellent concurrency & performance
    & power...
    Download Firebird
  • 6
    KompoZer
    KompoZer
    KompoZer is a wysiwyg HTML editor using
    the Mozilla Composer codebase. As
    Nvu's development has been stopped
    in 2005, KompoZer fixes many bugs and
    adds a f...
    Download KompoZer
  • More »

Linux commands

Ad