opam-version: "2.0"
maintainer: "guillaume.bury@gmail.com"
authors: "Guillaume Bury"
homepage: "https://github.com/Gbury/dolmen"
bug-reports: "https://github.com/Gbury/dolmen/issues"
license: "BSD-2-Clause"
doc: "http://gbury.github.io/dolmen/0.1/"
tags: ["parser" "tptp" "logic" "smtlib" "dimacs"]
dev-repo: "git+https://github.com/Gbury/dolmen.git"
build: [make "-C" "src" "lib"]
install: [make "-C" "src" "install"]
remove: ["ocamlfind" "remove" "dolmen"]
depends: [
  "ocaml"
  "ocamlfind"
  "menhir" {>= "20151005"}
  "ocamlbuild" {build}
]
synopsis:
  "Dolmen is a parser library. It currently mainly supports languages used in automated deduction."
description: """
Dolmen provides parser functorised over a representation of terms and top-level statements,
so that users can instantiates these functors with their own implementation. Dolmen features
incremental parsing, as well as helper functions to locate files based on a language's
specifications (such as TPTP's environment variable)."""
flags: light-uninstall
url {
  src: "https://github.com/Gbury/dolmen/archive/v0.1.tar.gz"
  checksum: "md5=b555b32e8a98563b1d3822a9e1ba7067"
}
