Newer
Older
opam-version: "2.0"
synopsis: "The Lustre V6 Verimag compiler"
description: """
This package contains:
- lv6: the (current) name of the compiler (and interpreter via -exec)
- the lustre-v6 ocaml lib: allows to call the Lustre v6 interpreter from ocaml
- the lustre-v6 rdbg plugin: allows to debug Lustre v6 program wth rdbg.
"""
maintainer: "erwan.jahier@univ-grenoble-alpes.fr"
authors: "Erwan Jahier and Pascal Raymond"
license: "CeCILL"
homepage: "http://www-verimag.imag.fr/lustre-v6.html"
dev-repo: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lustre-v6"
bug-reports: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lustre-v6/issues"
depends: [
"ocaml" {>= "4.05"}
"base-unix"
"extlib" {build} | "extlib-compat" {build}
"dune"
"ocamlfind"