From e8af0fa6e4892429e5b0883c1047bd507ce8206b Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Fri, 22 Nov 2024 13:34:29 +0100
Subject: [PATCH 1/3] close changelog

---
 CHANGES.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CHANGES.md b/CHANGES.md
index 319a9a297..b625edaf9 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,4 +1,4 @@
-# Unreleased
+# v2.0.0 (November 2024)
 
 Requires Menhir 20211230 and OCaml 4.08 or above.
 

From 4cacc5342675d78b2191bcb0faf05243599591c7 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Fri, 22 Nov 2024 15:03:32 +0100
Subject: [PATCH 2/3] cap array length

---
 src/runtime/test_bl.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 ();

From 44c39192a3c6dcb40aa1fe9c091972f2d3efa3f5 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Fri, 22 Nov 2024 15:05:57 +0100
Subject: [PATCH 3/3] fix tests on 32 bits

---
 CHANGES.md | 6 ++++++
 elpi.opam  | 2 +-
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/CHANGES.md b/CHANGES.md
index b625edaf9..1b8f60bfc 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,3 +1,9 @@
+# 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" }