opam-version: "2.0"
synopsis: "Lutin: modeling stochastic reactive systems"
description: """
Lutin is a language to model stochastic reactive systems. It has been
initially designed to model environments and perform automated testing
of reactive systems with Lurette.
"""
maintainer: "erwan.jahier@univ-grenoble-alpes.fr"
authors: [
  "Erwan Jahier" "Pascal Raymond" "Bertrand Jeannnet (polka)" "Yvan Roux"
]
license: "CeCILL-1.0+"
tags: ["clib:stdc" "clib:camlidl"]
homepage: "http://www-verimag.imag.fr/Lutin.html"
bug-reports: "http://www-verimag.imag.fr/Lutin.html"
depends: [
  "ocaml" {>= "4.05" & < "4.12"}
  "base-bigarray"
  "conf-gmp"
  "conf-perl" {build}
  "base-unix" {build}
  "num"
  "camlidl"
  "extlib" {build} | "extlib-compat" {build}
  "lustre-v6"
  "lutils" {>= "1.49"}
  "mlgmpidl"
  "oasis" {build & >= "0.4.7"} | "oasis-mirage" {build & >= "0.4.7"}
  "ocamlbuild" {build}
  "ocamlfind"
  "rdbg" {>= "1.184"}
]
build: [
  ["oasis" "setup"]
  ["ocaml" "setup.ml" "-configure" "--prefix" prefix]
  [make "build"]
  ["oasis" "setup"] {with-test}
  ["ocaml" "setup.ml" "-configure" "--enable-tests"] {with-test}
  ["ocaml" "setup.ml" "-build"] {with-test}
  ["ocaml" "setup.ml" "-test"] {with-test}
  ["ocaml" "setup.ml" "-doc"] {with-doc}
]
install: [make "install"]
post-messages:
  "The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/"
depexts: [
  ["perl" "gmp-dev" "mpfr-dev" "m4"] {os-distribution = "alpine"}
  ["perl" "gmp-devel" "mpfr-devel" "m4"] {os-distribution = "centos"}
  ["perl" "libgmp-dev" "libmpfr-dev" "m4"] {os-family = "debian"}
]
dev-repo:
  "git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin.git"
url {
  archive: "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lutin.2.70.4.tgz"
  checksum: "md5=5e27b8a93f33e622e384263d2e85505b"
}
