Ocaml version to 4.14

UQ-PAC · Mar 18, 2024 · bf1d451 · bf1d451
1 parent 8828e86
commit bf1d451
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -22,7 +22,7 @@ describing how to use ASLi with Arm's v8.6-A ISA specification.
 
 To build and run the ASL interpreter, you will need:
 
-  * OCaml version 4.09 or later
+  * OCaml version 4.14 or later
   * OPAM OCaml version 2.0.5 (other versions may work)
   * The following OPAM packages
       * ocaml     - OCaml compiler

diff --git a/asli.opam b/asli.opam
@@ -17,7 +17,7 @@ homepage: "https://github.com/alastairreid/asl-interpreter"
 bug-reports: "https://github.com/alastairreid/asl-interpreter/issues"
 depends: [
   "dune" {>= "2.8"}
-  "ocaml" {>= "4.09"}
+  "ocaml" {>= "4.14"}
   "menhir" {build}
   "ott" {build & >= "0.31"}
   "linenoise"

diff --git a/dune-project b/dune-project
@@ -16,7 +16,7 @@
                "\| loading ELF files and executing Arm binaries.
   )
   (depends
-    ("ocaml"     (>= "4.09"))
+    ("ocaml"     (>= "4.14"))
     ("menhir"    :build)
     ("ott"       (and :build (>= "0.31")))
     "linenoise"