opam-version: "2.0"
maintainer: "simon.cruanes@inria.fr"
authors: "simon.cruanes@inria.fr"
homepage: "https://github.com/c-cube/ocaml-minisat/"
bug-reports: "https://github.com/c-cube/ocaml-minisat/issues"
tags: ["minisat" "solver" "SAT"]
dev-repo: "git+https://github.com/c-cube/ocaml-minisat.git"
build: [
  ["./configure" "--prefix=%{prefix}%" "--docdir=%{doc}%" "--disable-docs"]
  [make "build"]
]
install: [make "install"]
remove: ["ocamlfind" "remove" "minisat"]
depends: [
  "ocaml" {>= "4.00.0"}
  "ocamlfind" {build}
  "ocamlbuild" {build}
]
synopsis:
  "Bindings to Minisat, with the solver included (no external dependency)"
flags: light-uninstall
url {
  src: "https://github.com/c-cube/ocaml-minisat/archive/0.1.tar.gz"
  checksum: "md5=35b2a371c0a59150c025b72184169bec"
}
