opam-version: "2.0"
maintainer: "filliatr@lri.fr"
authors: [
  "Romain Bardou"
  "Francois Bobot"
  "Jean-Christophe Filliâtre"
  "Johannes Kanig"
  "Stephane Lescuyer"
]
homepage: "http://mlpost.lri.fr/index.fr.html"
dev-repo: "git://github.com/backtracking/mlpost"
bug-reports: "https://github.com/backtracking/mlpost/issues"
license: "LGPL-2.1"
substs: ["opam.patch"]
build: [
  ["./configure" "--prefix" prefix "--mandir" man]
  [make]
  [make "contrib"]
]
install: [
  [make "install"]
  [make "install-contrib"]
]
remove: [
  ["ocamlfind" "remove" "mlpost_dot"]
  ["ocamlfind" "remove" "mlpost"]
  ["ocamlfind" "remove" "mlpost_lablgtk"] {"%{cairo:installed}%"}
]
depends: [
  "ocaml" {< "4.03.0"}
  "ocamlfind"
  "bitstring"
  "cairo" {= "1.2.0"}
  "ocamlbuild" {build}
  "conf-autoconf" {build}
]
patches: ["opam.patch"]
synopsis: "Interface to Metapost"
flags: light-uninstall
extra-files: [
  ["opam.patch.in" "md5=1e044ae81ee73146e4d9051ce9547bf9"]
  ["mlpost.install" "md5=44b10147a8e97efd1286ee03f4ba50e9"]
]
url {
  src: "http://mlpost.lri.fr/download/mlpost-0.8.1.tar.gz"
  checksum: "md5=a505aa1eb21ac0cdd4732fd10f6ac13a"
}
