EnglishFrenchSpanish

OnWorks favicon

ocamldebug - Online in the Cloud

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

This is the command ocamldebug 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


ocamldebug - the OCaml source-level replay debugger.

SYNOPSIS


ocamldebug [ options ] program [ arguments ]

DESCRIPTION


ocamldebug is the OCaml source-level replay debugger.

Before the debugger can be used, the program must be compiled and linked with the -g
option: all .cmo and .cma files that are part of the program should have been created with
ocamlc -g, and they must be linked together with ocamlc -g.

Compiling with -g entails no penalty on the running time of programs: object files and
bytecode executable files are bigger and take longer to produce, but the executable files
run at exactly the same speed as if they had been compiled without -g.

OPTIONS


A summary of options are included below. For a complete description, see the html
documentation in the ocaml-doc package.

-c count
Set the maximum number of simultaneously live checkpoints to count.

-cd dir
Run the debugger program from the working directory dir, instead of the current
working directory. (See also the cd command.)

-emacs Tell the debugger it is executed under Emacs. (See The OCaml user's manual for
information on how to run the debugger under Emacs.) Implies -machine-readable.

-I directory
Add directory to the list of directories searched for source files and compiled
files. (See also the directory command.)

-machine-readable
Print information in a format more suitable for machines instead of human operators
where applicable. For example, when describing a location in a program, such as
when printing a backtrace, print the program counter and character offset in a file
instead of the filename, line number, and character offset in that line.

-s socket
Use socket for communicating with the debugged program. See the description of the
command set socket in The OCaml user's manual for the format of socket.

-version
Print version string and exit.

-vnum Print short version number and exit.

-help or --help
Display a short usage summary and exit.

Use ocamldebug online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    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
  • 2
    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
  • 3
    Firebird
    Firebird
    Firebird RDBMS offers ANSI SQL features
    & runs on Linux, Windows &
    several Unix platforms. Features
    excellent concurrency & performance
    & power...
    Download Firebird
  • 4
    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
  • 5
    Free Manga Downloader
    Free Manga Downloader
    The Free Manga Downloader (FMD) is an
    open source application written in
    Object-Pascal for managing and
    downloading manga from various websites.
    This is a mirr...
    Download Free Manga Downloader
  • 6
    UNetbootin
    UNetbootin
    UNetbootin allows you to create bootable
    Live USB drives for Ubuntu, Fedora, and
    other Linux distributions without
    burning a CD. It runs on Windows, Linux,
    and ...
    Download UNetbootin
  • More »

Linux commands

  • 1
    abc2abc
    abc2abc
    abc2abc - a simple abc
    checker/re-formatter/transposer ...
    Run abc2abc
  • 2
    abc2ly
    abc2ly
    abc2ly - manual page for abc2ly
    (LilyPond) 2.18.2 ...
    Run abc2ly
  • 3
    coqdoc
    coqdoc
    coqdoc - A documentation tool for the
    Coq proof assistant ...
    Run coqdoc
  • 4
    coqide
    coqide
    coqide - The Coq Proof Assistant
    graphical interface ...
    Run coqide
  • 5
    g.gui.vdigitgrass
    g.gui.vdigitgrass
    g.gui.vdigit - Interactive editing and
    digitization of vector maps. KEYWORDS:
    general, user interface, GUI, vector,
    editing, digitizer ...
    Run g.gui.vdigitgrass
  • 6
    g.listgrass
    g.listgrass
    g.list - Lists available GRASS data
    base files of the user-specified data
    type optionally using the search
    pattern. KEYWORDS: general, map
    management, list ...
    Run g.listgrass
  • More »

Ad