this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "simon.cruanes@inria.fr"
3authors: ["Simon Cruanes"]
4homepage: "https://github.com/c-cube/datalog"
5bug-reports: "https://github.com/c-cube/datalog/issues"
6license: "BSD-2-Clause"
7build: make
8remove: [
9 ["ocamlfind" "remove" "datalog"]
10 ["rm" "%{bin}%/datalog_cli"]
11]
12depends: [
13 "ocaml" {< "5.1"}
14 "ocamlfind"
15 "ocamlbuild" {build}
16]
17dev-repo: "git+https://github.com/c-cube/datalog"
18install: [make "BINDIR=%{bin}%" "install"]
19synopsis: "An in-memory datalog implementation for OCaml"
20description: """
21It focuses on big sets of rules with small relations, with frequent updates of
22the relations. Therefore, it tries to achieve good behavior in presence of
23incremental modifications of the relations. It now features a kind of backward
24chaining for semantic attachments."""
25flags: light-uninstall
26url {
27 src: "https://github.com/c-cube/datalog/archive/0.3.1.tar.gz"
28 checksum: [
29 "sha256=2e3cdd33eee18f5649a6fe9ad79af664765be07a476e3e7fcca5934e1c6fefad"
30 "md5=4593fb543801cd089194680d432bc8a9"
31 ]
32}