Update document: minimal required ocamel-base-compiler version

ocaml 4.06 does not support "pure" token Issue riscv-software-src#88
EagleTw · Apr 28, 2024 · 7fa13c5 · 7fa13c5
1 parent 108fa2d
commit 7fa13c5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/source/installation.rst b/docs/source/installation.rst
@@ -273,7 +273,7 @@ These are often used as reference models in RISCOF.
 
        $ sudo apt-get install opam  build-essential libgmp-dev z3 pkg-config zlib1g-dev
        $ opam init -y --disable-sandboxing
-       $ opam switch create ocaml-base-compiler.4.06.1
+       $ opam switch create ocaml-base-compiler.4.08.1
        $ opam install sail -y
        $ eval $(opam config env)
        $ git clone https://github.com/riscv/sail-riscv.git