diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-01-09 14:38:42 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-01-09 14:47:06 +0100 |
| commit | c1ad8fa3eadba95691248cd5cd9c2e2efbe6e215 (patch) | |
| tree | 43aacd4d485e5ae5cf8ab3d8059d7ea86d3d4c2b /INSTALL.ide | |
| parent | d7f8b955625b6e5d88e6e78ca133e91b35fca09e (diff) | |
Relax required OCaml to 4.02.1.
We did not decide precisely what minor version we would support, so
relaxing. We document why 4.02.0 is not supported (its use is also
discouraged by the OCaml team, see e.g. https://ocaml.org/releases/).
Diffstat (limited to 'INSTALL.ide')
| -rw-r--r-- | INSTALL.ide | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/INSTALL.ide b/INSTALL.ide index cb7ca325f..513e37c91 100644 --- a/INSTALL.ide +++ b/INSTALL.ide @@ -22,7 +22,7 @@ Else, read the rest of this document to compile your own CoqIde. COMPILATION REQUIREMENTS -- OCaml >= 4.01 with native threads support. +- OCaml >= 4.02.1 with native threads support. - make world must succeed. - The graphical toolkit GTK+ 2.x. See http://www.gtk.org. The official supported version is at least 2.24.x. |