opam-version: "1"
maintainer: "filliatr@lri.fr"
authors: [
  "Romain Bardou"
  "Francois Bobot"
  "Jean-Christophe Filliâtre"
  "Johannes Kanig"
  "Stephane Lescuyer"
]
license: "GNU Library General Public License version 2.1"
build: [
  ["ocaml" "run_autoconf_if_needed.ml"] #when used in pinned mode the configure *can* not yet be generated
  ["./configure" "--prefix" prefix "--mandir" man]
  [make]
  [make "install"]
  [make "contrib"]
  [make "install-contrib"]
]
remove: [
  ["ocaml" "run_autoconf_if_needed.ml"] #when used in pinned mode the configure *can* not yet be generated
  ["./configure" "--prefix" prefix]
  [make "uninstall"]
  [make "uninstall-contrib"]
]
depends: [
  "ocamlfind"
  "bitstring"
  "cairo" {= "1.2.0"}
]
depexts: [
  [["debian"] ["autoconf"]]
  [["ubuntu"] ["autoconf"]]
]
