opam-version: "2.0"
maintainer: "opam-devel@lists.ocaml.org"
authors: [ "Oliver Friedmann"
           "Martin Lange" ]
license: "BSD-3-Clause"
homepage: "https://github.com/tcsprojects/pgsolver"
dev-repo: "git+https://github.com/tcsprojects/pgsolver.git"
bug-reports: "https://github.com/tcsprojects/pgsolver/issues"
build: [
  ["ocaml" "setup.ml" "-configure" "--prefix" prefix]
  ["ocaml" "setup.ml" "-build"]
  ["ocaml" "setup.ml" "-configure" "--enable-tests"] {with-test}
  ["ocaml" "setup.ml" "-build"] {with-test}
  ["ocaml" "setup.ml" "-test"] {with-test}
]
install: ["ocaml" "setup.ml" "-install"]
remove: [
  ["ocaml" "%{etc}%/pgsolver/setup.ml" "-C" "%{etc}%/pgsolver" "-uninstall"]
]
depends: [
  "ocaml" {>= "4.05.0" & < "5.0"}
  "TCSLib" {>= "0.2"}
  ("extlib" | "extlib-compat")
  "minisat"
  "ocaml-sat-solvers" {<= "0.4"}
  "ocamlbuild" {build}
  "ocamlfind" {build}
  "ounit" {build}
]
synopsis:
  "A collection of tools for generating, manipulating and - most of all - solving parity games"
description: """
A collection of tools for generating, manipulating and - most of all -
solving parity games."""
url {
  src: "https://github.com/tcsprojects/pgsolver/archive/v4.1.tar.gz"
  checksum: [
    "sha256=14855e5b52f3e5cef746e261e39aed54ef3915be46c685d0f835809ae4a812ea"
    "md5=db269947469d6236a81bed558cbcc5b6"
  ]
}