opam-version: "2.0"
maintainer: "simon.cruanes@inria.fr"
homepage: "https://github.com/c-cube/datalog"
build: make
remove: [
  ["ocamlfind" "remove" "datalog"]
  ["rm" "%{bin}%/datalog_cli"]
]
depends: [
  "ocaml"
  "ocamlfind"
  "ocamlbuild" {build}
]
dev-repo: "git://github.com/c-cube/datalog"
install: [make "BINDIR=%{bin}%" "install"]
synopsis: "An in-memory datalog implementation for OCaml."
description: """
It focuses on big sets of rules with small relations, with frequent updates of
the relations. Therefore, it tries to achieve good behavior in presence of
incremental modifications of the relations. It now features a kind of backward
chaining for semantic attachments."""
flags: light-uninstall
url {
  src: "https://github.com/c-cube/datalog/archive/0.4.tar.gz"
  checksum: "md5=bf6c9ca945e29cc4d5dc05662499b89f"
}
