this repo has no description
Merge pull request #26823 from Leonidas-from-XIV/fix-datalog
Older datalog versions FTBFS on newer OCaml
authored by
Shon Feder
and committed by
GitHub
3f1a8249
1a2373b9
+21
-8
+6
-2
packages/datalog/datalog.0.1/opam
+6
-2
packages/datalog/datalog.0.1/opam
···
1
1
opam-version: "2.0"
2
2
maintainer: "simon.cruanes@inria.fr"
3
+
authors: ["Simon Cruanes"]
3
4
homepage: "https://github.com/c-cube/datalog"
5
+
bug-reports: "https://github.com/c-cube/datalog/issues"
6
+
license: "BSD-2-Clause"
4
7
build: make
5
8
remove: [
6
9
["ocamlfind" "remove" "datalog"]
7
10
["rm" "%{bin}%/datalog_cli"]
8
11
]
9
12
depends: [
10
-
"ocaml"
13
+
"ocaml" {< "5.1"}
11
14
"ocamlfind"
12
15
"ocamlbuild" {build}
13
16
]
14
17
dev-repo: "git+https://github.com/c-cube/datalog"
15
18
install: [make "BINDIR=%{bin}%" "install"]
16
-
synopsis: "An in-memory datalog implementation for OCaml."
19
+
synopsis: "An in-memory datalog implementation for OCaml"
17
20
description: """
18
21
It focuses on big sets of rules with small relations, with frequent updates of
19
22
the relations. Therefore, it tries to achieve good behavior in presence of
···
26
29
"md5=9d4cc94bb277665c41d2319ab14ec6ce"
27
30
]
28
31
}
32
+
available: arch != "arm32" & arch != "x86_32"
+5
-2
packages/datalog/datalog.0.2/opam
+5
-2
packages/datalog/datalog.0.2/opam
···
1
1
opam-version: "2.0"
2
2
maintainer: "simon.cruanes@inria.fr"
3
+
authors: ["Simon Cruanes"]
3
4
homepage: "https://github.com/c-cube/datalog"
5
+
bug-reports: "https://github.com/c-cube/datalog/issues"
6
+
license: "BSD-2-Clause"
4
7
build: make
5
8
remove: [
6
9
["ocamlfind" "remove" "datalog"]
7
10
["rm" "%{bin}%/datalog_cli"]
8
11
]
9
12
depends: [
10
-
"ocaml"
13
+
"ocaml" {< "5.1"}
11
14
"ocamlfind"
12
15
"ocamlbuild" {build}
13
16
]
14
17
dev-repo: "git+https://github.com/c-cube/datalog"
15
18
install: [make "BINDIR=%{bin}%" "install"]
16
-
synopsis: "An in-memory datalog implementation for OCaml."
19
+
synopsis: "An in-memory datalog implementation for OCaml"
17
20
description: """
18
21
It focuses on big sets of rules with small relations, with frequent updates of
19
22
the relations. Therefore, it tries to achieve good behavior in presence of
+5
-2
packages/datalog/datalog.0.3.1/opam
+5
-2
packages/datalog/datalog.0.3.1/opam
···
1
1
opam-version: "2.0"
2
2
maintainer: "simon.cruanes@inria.fr"
3
+
authors: ["Simon Cruanes"]
3
4
homepage: "https://github.com/c-cube/datalog"
5
+
bug-reports: "https://github.com/c-cube/datalog/issues"
6
+
license: "BSD-2-Clause"
4
7
build: make
5
8
remove: [
6
9
["ocamlfind" "remove" "datalog"]
7
10
["rm" "%{bin}%/datalog_cli"]
8
11
]
9
12
depends: [
10
-
"ocaml"
13
+
"ocaml" {< "5.1"}
11
14
"ocamlfind"
12
15
"ocamlbuild" {build}
13
16
]
14
17
dev-repo: "git+https://github.com/c-cube/datalog"
15
18
install: [make "BINDIR=%{bin}%" "install"]
16
-
synopsis: "An in-memory datalog implementation for OCaml."
19
+
synopsis: "An in-memory datalog implementation for OCaml"
17
20
description: """
18
21
It focuses on big sets of rules with small relations, with frequent updates of
19
22
the relations. Therefore, it tries to achieve good behavior in presence of
+5
-2
packages/datalog/datalog.0.3/opam
+5
-2
packages/datalog/datalog.0.3/opam
···
1
1
opam-version: "2.0"
2
2
maintainer: "simon.cruanes@inria.fr"
3
+
authors: ["Simon Cruanes"]
3
4
homepage: "https://github.com/c-cube/datalog"
5
+
bug-reports: "https://github.com/c-cube/datalog/issues"
6
+
license: "BSD-2-Clause"
4
7
build: make
5
8
remove: [
6
9
["ocamlfind" "remove" "datalog"]
7
10
["rm" "%{bin}%/datalog_cli"]
8
11
]
9
12
depends: [
10
-
"ocaml"
13
+
"ocaml" {< "5.1"}
11
14
"ocamlfind"
12
15
"ocamlbuild" {build}
13
16
]
14
17
dev-repo: "git+https://github.com/c-cube/datalog"
15
18
install: [make "BINDIR=%{bin}%" "install"]
16
-
synopsis: "An in-memory datalog implementation for OCaml."
19
+
synopsis: "An in-memory datalog implementation for OCaml"
17
20
description: """
18
21
It focuses on big sets of rules with small relations, with frequent updates of
19
22
the relations. Therefore, it tries to achieve good behavior in presence of