Skip to content

Commit 8d93032

Browse files
ProgMinerKakadu
authored andcommitted
Increase ocaml version to 4.14.2
Since we require GT>=0.5.2 that requires ocaml>=4.13, we already require ocaml>=4.13 (actually >=4.14.2 due to ppx testing libs). So, let's do it explicitly Signed-off-by: Eridan Domoratskiy <[email protected]> Coauthored-by: Dmitrii Kosarev a.k.a. Kakadu <[email protected]>
1 parent f145bba commit 8d93032

File tree

3 files changed

+4
-4
lines changed

3 files changed

+4
-4
lines changed

OCanren-ppx.opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -33,7 +33,7 @@ homepage: "https://github.com/PLTools/OCanren"
3333
bug-reports: "https://github.com/PLTools/OCanren/issues"
3434
depends: [
3535
"dune" {>= "2.9"}
36-
"ocaml" {>= "4.10"}
36+
"ocaml" {>= "4.14.2"}
3737
"dune-configurator"
3838
"ppxlib" {>= "0.26.0" & <= "0.28.0"}
3939
"ppx_inline_test_nobase"

OCanren.opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -24,7 +24,7 @@ homepage: "https://github.com/PLTools/OCanren"
2424
bug-reports: "https://github.com/PLTools/OCanren/issues"
2525
depends: [
2626
"dune" {>= "2.9"}
27-
"ocaml" {>= "4.10"}
27+
"ocaml" {>= "4.14.2"}
2828
"dune-configurator"
2929
"ocamlfind"
3030
"camlp5"

dune-project

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,7 @@
1919
"The family of miniKanren derivatives has many implementations. This\none is typed embedding to OCaml. The original implementation for\nthis is in scheme and can be found at https://github.com/michaelballantyne/faster-miniKanren .\n\nFeatures:\n1) disequality constraints\n2) relational standard library: lists, nats\n")
2020
(depends
2121
(ocaml
22-
(>= 4.10))
22+
(>= 4.14.2))
2323
dune-configurator
2424
ocamlfind
2525
camlp5
@@ -53,7 +53,7 @@
5353
"PPX rewriters for writing relational programs more conveniently.\n\n1) `ppx_fresh` -- a clone of original miniKanren syntax\n\n fresh (x...) goal\n\nexpands into\n\n Fresh.numeral (fun x ... -> goal)\n\n2) `ppx_distrib` for easier generation of type-safe wrappers: distrib functor, etc...\n\n [%%distrib\n type t = fully_abstract_typee\n type ground = ...\n ]\n\n3) `ppx_repr` for test. Expands `REPR(expr)` to `(string_of_expr expr, expr)`\n")
5454
(depends
5555
(ocaml
56-
(>= 4.10))
56+
(>= 4.14.2))
5757
dune-configurator
5858
(ppxlib
5959
(and

0 commit comments

Comments
 (0)