Build from sources

Building matla from sources is quite easy and only requires Rust to be installed.

Simply clone the repository, change to whatever branch you want to build, and cargo build or cargo build --release matla.

> git clone https://github.com/OCamlPro/matla
[...]
> cd matla
> git checkout [...]
[...]
# Maybe run tests to make sure everything's fine.
> cargo test
[...]
> cargo build --release
[...]
> ls target/release/matla
target/release/matla*

Move/symlink the resulting binary as you see fit and start writing TLA+ projects using matla!

Alternatively, run cargo install --path matla to have cargo handle compilation and putting the binary in your path.