lustre-v6.opam

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.

The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/

For more information: https://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/lustre-v6
"""
maintainer: "erwan.jahier@univ-grenoble-alpes.fr"
authors: "Erwan Jahier and Pascal Raymond"
license: "CeCILL-2.1"
homepage: "https://www-verimag.imag.fr/DIST-TOOLS/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" {>= "2.0"}
  "ocamlfind"
  "lutils" {>= "1.49"}
  "rdbg" {>= "1.196.9"}
  "num"
  "yaml"
]
build: ["dune" "build" "-p" name "-j" jobs]
post-messages:
  "The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/"
dev-repo:
  "git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lustre-v6"