diff --git a/CHANGES.md b/CHANGES.md index 319a9a297..1b8f60bfc 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,4 +1,10 @@ -# Unreleased +# v2.0.1 (November 2024) + +Requires Menhir 20211230 and OCaml 4.08 or above. + +- Fix tests on 32 bits systems + +# v2.0.0 (November 2024) Requires Menhir 20211230 and OCaml 4.08 or above. diff --git a/elpi.opam b/elpi.opam index edcdd9567..779b6aebb 100644 --- a/elpi.opam +++ b/elpi.opam @@ -14,7 +14,7 @@ build: [ ] depends: [ - "ocaml" {>= "4.08.0" } + "ocaml" {>= "4.13.0" } "stdlib-shims" "ppxlib" {>= "0.12.0" } "menhir" {>= "20211230" } diff --git a/src/runtime/test_bl.ml b/src/runtime/test_bl.ml index 5214ac4fa..c088a2d85 100644 --- a/src/runtime/test_bl.ml +++ b/src/runtime/test_bl.ml @@ -1,5 +1,5 @@ open Elpi_runtime.Bl -let size = 9999999 +let size = min Sys.max_array_length 9999999 let test_build () = Gc.minor (); Gc.major ();