opam-version: "2.0"
synopsis: "RDBG: a reactive programs debugger"
description: """
The library rdbg-plugin contains all the necessary ocaml modules
needed to add a rdbg plugin. Such a plugin allows ocaml-interpreted
languages to be executed (à la Lurette) or/and debugged (with rdbg)."""
maintainer: "erwan.jahier@univ-grenoble-alpes.fr"
authors: "Erwan Jahier"
license: "CeCILL-1.0+"
homepage:
  "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/rdbg"
bug-reports:
  "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/rdbg"
depends: [
  "ocaml" {>= "4.05"}
  "base-unix" {build}
  "lutils" {>= "1.49"}
  "oasis" {build & >= "0.4.7"} | "oasis-mirage" {build & >= "0.4.7"}
  "ocamlbuild" {build}
  "ocamlfind"
  "ounit" {build & >= "2.0.0"}
]
build: [
  [make "build"]
  ["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/"
dev-repo:
  "git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/rdbg.git"
url {
  src:
    "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/rdbg.1.184.1.tgz"
  checksum: "md5=facf4de4f8b9f1a890e235d58163c66c"
}
