diff options
| author | Emilio Jesus Gallego Arias | 2019-11-16 18:37:00 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-03-29 23:55:22 -0400 |
| commit | c8a57ee238ae02056e97dc1ef983f415ccf0f829 (patch) | |
| tree | 8594292601822ff0b91579e0b2fde2333f548cb1 /INSTALL.md | |
| parent | 4fa753561b2815f0455c455ac970759c2ac8ef7a (diff) | |
[ci] [gitlab] Bump to edge to OCaml 4.10, add test-suite for OCaml 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 0c98a611a5..2397f2c5c2 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -7,7 +7,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.09.1) + (This version of Coq has been tested up to OCaml 4.10.0) - The [num](https://github.com/ocaml/num) library; note that it is included in the OCaml distribution for OCaml versions < 4.06.0 @@ -45,7 +45,7 @@ CoqIDE with: Opam (https://opam.ocaml.org/) is recommended to install OCaml and the corresponding packages. - $ opam switch create coq 4.09.1+flambda + $ opam switch create coq 4.10.0+flambda $ eval $(opam env) $ opam install num ocamlfind lablgtk3-sourceview3 |