Merge pull request #288 from LPCIC/fix-test-32bits

Fix test 32bits
LPCIC · Nov 22, 2024 · 54be47d · 54be47d
2 parents fb0c159 + 44c3919
commit 54be47d
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 3 deletions.
diff --git 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
@@ -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
@@ -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 ();