opam-version: "2.0"
maintainer: "https://github.com/ocaml/opam-repository/issues"
build: [
  [
    "./configure"
    "-configdir"
    "%{lib}%/coq/config"
    "-mandir"
    man
    "-docdir"
    doc
    "--prefix"
    prefix
    "--usecamlp5"
    "--camlp5dir"
    "%{camlp5:lib}%"
  ]
  [make "-j%{jobs}%" "world"]
]
depends: [
  "ocaml" {>= "3.11.2" & < "4.02.0"}
  "camlp5" {< "8"}
  "ocamlbuild" {build}
  "num"
  "conf-findutils" {build}
]
depopts: ["lablgtk"]
patches: [
  "coqmktop.patch"
  "CAML_LD_LIBRARY_PATH.patch"
  "configure.patch"
]
install: [make "install"]
synopsis: "Formal proof management system"
extra-files: [
  ["coqmktop.patch" "md5=acae67a08b2a91d17966bee2e4ef2d00"]
  ["coq.install" "md5=90aa43dcd6bdeb615b19364fe1c72dfb"]
  ["configure.patch" "md5=0ca3a939dc36edc33f2090be491c07e7"]
  ["CAML_LD_LIBRARY_PATH.patch" "md5=7ae1df6a74ae04bf1471e66c35145a1c"]
]
url {
  src: "http://coq.inria.fr/distrib/V8.4pl1/files/coq-8.4pl1.tar.gz"
  checksum: "md5=07e44e89fc99d6c414605dc96be37f12"
}
