diff --git a/README.md b/README.md index b6a354d8..8404ec7c 100644 --- 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 index c458f186..690da900 100644 --- 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 index 4d64e0c8..6b9b8780 100644 --- 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"