University of York
Department of Computer Science

Functional Programming Research

O'Caml compiler

O'Caml is a bytecode interpreter and optimising compiler for an ML-like language, extended with object facilities. See http://caml.inria.fr/

Here is a list of the command-line tools associated with O'Caml:

  • ocaml - bytecode interpreter
  • ocamlc - bytecode compiler
  • ocamlopt - optimising native-code compiler
  • ocamldebug - replay debugger
  • camlp4 - preprocessor and pretty-printer
  • ocamldep - module dependency analyser
  • ocamldoc - extracts library documentation from source code
  • ocamllex - lexical analyser generator (like lex for C, or alex for Haskell)
  • ocamlyacc - parser generator (like yacc for C, or happy for Haskell)
  • ocamlrun - to invoke an ocaml source script (like runhugs or runghc)
  • ocamlbrowser -
  • ocamlcp -
  • ocamlmklib -
  • ocamlmktop -
  • ocamlprof - profiling?
They are all found in /usr/local/bin under Linux, or /york/bin under Solaris.

Page last updated 21 July 2005

Functional Programming Group,
Department of Computer Science,
University of York, YORK, YO10 5DD, UK.

Tel: +44 1904 432740 Fax: +44 1904 432767