diff options
| author | Emilio Jesus Gallego Arias | 2020-09-02 17:10:49 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-09-14 18:32:33 +0200 |
| commit | 4892543f6d256e2092902557144596218c451562 (patch) | |
| tree | 8b96d532fb8ea881ca8e4184b339eecac2aaccba /INSTALL.md | |
| parent | 090550218d0a6d08c7df34b1238d5c0d38520bd5 (diff) | |
[ci] [docker] Up testing to OCaml 4.11.1
- `odoc` must be bumped to support 4.11
Diffstat (limited to 'INSTALL.md')
| -rw-r--r-- | INSTALL.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/INSTALL.md b/INSTALL.md index abc38390e0..05a92ca005 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -13,7 +13,7 @@ Build Requirements To compile Coq yourself, you need: - [OCaml](https://ocaml.org/) (version >= 4.05.0) - (This version of Coq has been tested up to OCaml 4.10.0) + (This version of Coq has been tested up to OCaml 4.11.1) - The [num](https://github.com/ocaml/num) library; note that it is included in the OCaml distribution for OCaml versions < 4.06.0 @@ -53,7 +53,7 @@ CoqIDE with: Opam (https://opam.ocaml.org/) is recommended to install OCaml and the corresponding packages. - $ opam switch create coq 4.10.0+flambda + $ opam switch create coq 4.11.1+flambda $ eval $(opam env) $ opam install num ocamlfind lablgtk3-sourceview3 |