opam-version: "2.0"
maintainer: "pietro.abate@pps.univ-paris-diderot.fr"
authors: [
  "Pietro Abate"
  "Jaap Boender"
  "Roberto Di Cosmo"
  "Johannes Schauer"
  "Ralf Treinen"
  "Stefano Zacchiroli"
  "Jakub Zwolakowski"
  "Olivier Rosello"
]
homepage: "http://www.mancoosi.org/software/"
bug-reports: "https://gforge.inria.fr/tracker/?group_id=4395"
license: "LGPL-3.0-or-later with OCaml-LGPL-linking-exception"
dev-repo: "git+https://gforge.inria.fr/git/dose/dose.git"
build: [
  ["./configure" "--with-ocamlgraph"]
  [make printconf]
  [make]
]
install: [make "installlib"]
remove: [
  ["./configure" "--with-ocamlgraph"]
  [make "uninstall"]
]
depends: [
  "ocaml"
  "ocamlgraph" {= "1.8.6"}
  "cudf" {>= "0.7"}
  "conf-perl" {build}
  ("extlib" {>= "1.7.0"} | "extlib-compat" {>= "1.7.0"})
  "re" {>= "1.2.2"}
  "ocamlbuild" {build}
  "cppo" {build}
]
depexts: ["perl-Pod-Html"] {os-distribution = "fedora"}
synopsis: "Dose library (part of Mancoosi tools)"
url {
  src: "https://gforge.inria.fr/frs/download.php/file/35438/dose3-4.1.tar.gz"
  checksum: "md5=a571c85a3bd0ed4a3ef9450880e2e92d"
}
