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