Caramel is built with OCaml, so it needs a working opam installation.
Additionally, we use
make, since it makes our CI steps pretty minimal.
The next scripts show how to set up Caramel and create a release:
# install ocaml first sh <(curl -sL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh) # clone the repository git clone firstname.lastname@example.org:AbstractMachinesLab/caramel.git cd caramel # install all required dependencies make setup # compile projects and runs the tests make test # installs project from sources make install
To bootstrap the repository, you can run
make setup build.
To compile the manual, you can run
To run all the tests, you can run
To install the local version, you can run
To format all the code, you can run
To create a release of Caramel, you can run
make release, or
make release.win on