OCaml

About

OCaml is an industrial-strength functional programming language with an emphasis on expressiveness and safety.

Supported versions

To check which OCaml versions are currently supported on Discoverer, execute on the login node:

module avail ocaml

Loading

To obtain access to the latest GCC, load the environment module ocaml/latest:

module load ocaml/latest

otherwise replace latest with the reqired version.

Build recipe

We compiled the OCaml code using GNU Compiler Collection (GCC). The recipe used to guide the compilation process is available online at:

https://gitlab.discoverer.bg/vkolev/recipes/-/tree/main/ocaml

You will find the testing of the built binaries within the log file. It is noteworthy to mention that the following capabilities were enabled during the compilation of OCaml’s code:

--enable-flambda \
--enable-flambda-invariants \
--enable-cmm-invariants \
--enable-flat-float-array

Getting help

See Getting help