Advance to ocaml 5.4 to fix ocamldoc issues

ocamldoc refused to build the parser because of something that Menhir
was doing. Moving forward to 5.4 fixes the problem

Author: alastairreid

.github/workflows/pull-request.yml

@@ -22,7 +22,7 @@ jobs:
       - name: Setup OCaml
         uses: ocaml/setup-ocaml@v3
         with:
-          ocaml-compiler: 4
+          ocaml-compiler: 5
 
       - name: Install APT dependencies
         run: |
@@ -40,8 +40,9 @@ jobs:
 
       - name: Install OCaml tools and libraries
         run: |
-          opam init --no-setup --disable-sandboxing --compiler=4.14.3
-          opam env
+          opam init --no-setup --disable-sandboxing
+          opam switch create 5.4.1
+          eval $(opam env --switch=5.4.1)
           opam install . --deps-only --with-test --with-doc --locked --yes
 
       - name: Build

README.md

@@ -68,7 +68,7 @@ The following commands are sufficient to install requirements and to build iii o
     apt update
     apt install -y libgmp-dev opam pkg-config
     pip3 install -r requirements.txt
-    opam init --no-setup --disable-sandboxing --compiler=4.14.3
+    opam init --no-setup --disable-sandboxing --compiler=5.4.1
     opam install . --deps-only --with-test --with-doc --locked --yes
     eval $(opam env)
 
@@ -100,7 +100,7 @@ not work because it limits the use of bit-precise integers to 128 bits.
     opam init
     eval $(opam env --switch=default)
     pip3 install -r requirements.txt
-    opam init --no-setup --disable-sandboxing --compiler=4.14.2
+    opam init --no-setup --disable-sandboxing --compiler=5.4.1
     opam install . --deps-only --with-test --with-doc --locked --yes
     eval $(opam env)
     git submodule init

dune-project

@@ -32,7 +32,7 @@
     ("alcotest"  :with-test)
     "linenoise"
     ("menhir"    :build)
-    ("ocaml"     (>= "4.14"))
+    ("ocaml"     (>= "5.4"))
     ("ocolor"    (>= "1.2.2"))
     "odoc"
     "yojson"

isa-tools.opam

@@ -29,7 +29,7 @@ depends: [
   "alcotest" {with-test}
   "linenoise"
   "menhir" {build}
-  "ocaml" {>= "4.14"}
+  "ocaml" {>= "5.4"}
   "ocolor" {>= "1.2.2"}
   "odoc"
   "yojson"

isa-tools.opam.locked

@@ -27,6 +27,9 @@ depends: [
   "alcotest" {= "1.9.1" & with-test}
   "astring" {= "0.8.5"}
   "base-bigarray" {= "base"}
+  "base-domains" {= "base"}
+  "base-effects" {= "base"}
+  "base-nnp" {= "base"}
   "base-threads" {= "base"}
   "base-unix" {= "base"}
   "camlp-streams" {= "5.0.1"}
@@ -46,9 +49,10 @@ depends: [
   "menhirGLR" {= "20260209"}
   "menhirLib" {= "20260209"}
   "menhirSdk" {= "20260209"}
-  "ocaml" {= "4.14.3"}
-  "ocaml-base-compiler" {= "4.14.3"}
-  "ocaml-config" {= "2"}
+  "ocaml" {= "5.4.1"}
+  "ocaml-base-compiler" {= "5.4.1"}
+  "ocaml-compiler" {= "5.4.1"}
+  "ocaml-config" {= "3"}
   "ocaml-options-vanilla" {= "1"}
   "ocaml-syntax-shims" {= "1.0.0" & with-test}
   "ocamlbuild" {= "0.16.1"}