opam-version: "2.0"
maintainer: "pietro.abate@inria.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://gitlab.com/irill/dose3/-/issues"
license: "LGPL-3.0-or-later with OCaml-LGPL-linking-exception"
dev-repo: "git+https://gitlab.com/irill/dose3.git"
build: [
  ["./configure"]
  [make "libs" "apps"]
]
install: [make "installlib"]
remove: [
  ["./configure"]
  [make "uninstalllib"]
]
depends: [
  "ocaml"
  "ocamlgraph" {= "1.8.6"}
  "cudf" {>= "0.7"}
  ("extlib" {>= "1.7.0" & < "1.7.8"} | "extlib-compat" {>= "1.7.0"})
  "re" {>= "1.2.2"}
  "ocamlfind" {build}
  "ocamlbuild" {build}
  "cppo" {build & >= "1.1.2"}
]
conflicts: "dose"
patches: [
  "0004-Add-unix-as-dependency-to-dose3.common-in-META.in.patch"
]
synopsis: "Dose library (part of Mancoosi tools)"
extra-files: [
  "0004-Add-unix-as-dependency-to-dose3.common-in-META.in.patch"
  "md5=618265012624df95902a98f756f1ca13"
]
url {
  src: "https://gforge.inria.fr/frs/download.php/file/35975/dose3-5.0.tar.gz"
  checksum: "md5=228c6a73a0759783fd01181047046610"
}
