Newer
Older
Erwan Jahier
committed
opam-version: "1.2"
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.git"
bug-reports: "http://www-verimag.imag.fr/lustre-v6.html"
Erwan Jahier
committed
remove: [
["ocaml" "%{etc}%/lustre-v6/setup.ml" "-C" "%{etc}%/lustre-v6" "-uninstall"]
]
build-test: [
["oasis" "setup"]
["ocaml" "setup.ml" "-configure" "--enable-tests"]
["ocaml" "setup.ml" "-build"]
["ocaml" "setup.ml" "-test"]
]
depends: [
"base-unix"
("extlib" {build} | "extlib-compat" {build})
"lutils"
("oasis" {build & >= "0.4.7"} | "oasis-mirage" {build & >= "0.4.7"})
"ocamlbuild" {build}
"ocamlfind"
Erwan Jahier
committed
]
available: [ ocaml-version >= "4.02" ]
post-messages: ["The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/ "]