opam-version: "2.0"
maintainer: "roberto@dicosmo.org"
authors: [
  "Roberto Di Cosmo"
  "Ralf Treinen"
  "Stefano Zacchiroli"
  "Pietro Abate"
  "Jaap Boender"
  "Jakub Zwolakowski"
  "Olivier Rosello"
  "Johannes Schauer"
]
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" "--bindir=%{bin}%"]
  [make]
]
install: [make "install"]
remove: [
  ["ocamlfind" "remove" "dose3"]
  [
    "rm"
    "-f"
    "%{bin}%/distcheck"
    "%{bin}%/debcheck"
    "%{bin}%/rpmcheck"
    "%{bin}%/eclipsecheck"
  ]
]
depends: [
  "ocaml"
  "ocamlgraph" {= "1.8.5"}
  "cudf" {>= "0.7"}
  "conf-perl" {build}
  ("extlib" {< "1.7.0"} | "extlib-compat" {< "1.7.0"})
  "re" {>= "1.2.0"}
  "ocamlbuild" {build}
]
patches: [
  "0001-Removed-hard-failure-cases-in-favor-of-finer-diagnos.patch"
  "0002-ocamlgraph-1.8.6.diff" {ocamlgraph:version >= "1.8.6"}
]
depexts: ["perl-Pod-Html"] {os-distribution = "fedora"}
synopsis: "Dose library (part of Mancoosi tools)"
flags: light-uninstall
extra-files: [
  ["0002-ocamlgraph-1.8.6.diff" "md5=c44ed3dc7a5c5128089abf11278f042b"]
  [
    "0001-Removed-hard-failure-cases-in-favor-of-finer-diagnos.patch"
    "md5=2e396c572c4c0aee272bf2e342309a65"
  ]
]
url {
  src: "https://gforge.inria.fr/frs/download.php/file/34277/dose3-3.3.tar.gz"
  checksum: "md5=ea947804c636059bb8b64dbda5c1df08"
}
