Permalink
Switch branches/tags
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
60 lines (59 sloc) 1.49 KB
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-v3+ with OCaml 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"
}