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