opam-version: "2.0"
synopsis: "Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg)"
description: """
The lutils library contains various modules shared between tools developped at
Verimag in the synchronous group. Those modules deal with:
- generate and parse RIF files
- generate dro files (to call luciole)

The gnuplot-rif tool vizualise RIF files using gnuplot. 
"""
maintainer: "erwan.jahier@imag.fr"
authors: "Erwan Jahier"
license: "CeCILL-2.1"
homepage:
  "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils/"
bug-reports:
  "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils/"
depends: [
  "ocaml" {>= "4.02" & < "4.14"}
  "base-unix"
  "ocamlbuild" {build}
  "ocamlfind"
  "num"
]
build: [
  ["ocaml" "setup.ml" "-configure" "--prefix" prefix]
  ["ocaml" "setup.ml" "-build"]
  ["ocaml" "setup.ml" "-configure" "--enable-tests"] {with-test}
  ["ocaml" "setup.ml" "-build"] {with-test}
  ["ocaml" "setup.ml" "-test"] {with-test}
]
install: ["ocaml" "setup.ml" "-install"]
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/lutils.git"
url {
  src:
    "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lutils.1.49.5.tgz"
  checksum: [
    "sha256=d94a48abcc1fd817cd7b2183aa234ea801dea652f593a8c7f7675130736b1f8c"
    "md5=a1e1283913c84aee389ff8168e55a647"
  ]
}