Proof Technologies Ltd
Home | Software | Publications | Various | Contact Us

Minimalist OCaml

What is Minimalist OCaml?

We have produced cut-down source distributions of OCaml 3.12.1 and Camlp5 5.15 that will work with our software but have a smaller footprint and faster build time than the original versions, by stripping out features not used by our software.

The following features of OCaml 3.12.1 are not supported:
  • Native compilation
  • camlp4
  • the debugger
  • ocamldoc The following minor changes have been made to the functionality:
  • The "Objective Caml version 3.12.1" startup message is suppressed
  • The "Camlp5 Parsing version 5.15" startup message is suppressed
  • Error messages are preceded by "[OCAML]"

    For detailed descriptions of the differences, refer to MINI_OCAML_CHANGES and MINI_CAMLP5_CHANGES


    Source tarballs can be downloaded here:

    mini-ocaml-3.12.1.tgz (released 2022-11-15).
    mini-camlp5-5.15.tgz (released 2022-11-15).