Skip to content
Snippets Groups Projects

lustre-v6 - The Lustre V6 Verimag compiler

This package contains:

  • lv6: the (current) name of the compiler (and interpreter via -exec)
  • the lustre-v6 ocaml lib: to call the Lustre v6 interpreter from ocaml
  • the lustre-v6 rdbg plugin: to debug Lustre v6 program with rdbg

Installing lustre-v6 via opam

End users ougth to install lustre-v6 via opam.

$ opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository"
$ opam update
$ opam install lustre-v6

Installing lustre-v6 via pre-compiled binaries

cf the Install section of http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/lustre-v6/

Installing the (git controlled) source

You first need to install dune and gnu-make. To have all the necessary dependencies, it migth help to use opam

opam install lutils lustre-v6
opam remove lutils lustre-v6

Then you should install lutils (either via opam or via the git repo) https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils

Then ‘make’ should build all the executables, ‘make install’ should install everything, and ‘make test’ ougth to exit with a 0 return code.

git clone https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lustre-v6/lustre-v6.git
cd lustre-v6
opam install --deps-only ./lustre-v6.opam
make
make install
make test

Contribute

To contribute, you need to create an account on https://gricad-gitlab.univ-grenoble-alpes.fr

For commit messages, please follow the following conventions: https://github.com/angular/angular/blob/main/CONTRIBUTING.md#-commit-message-format