diff options
Diffstat (limited to 'INSTALL.ide')
| -rw-r--r-- | INSTALL.ide | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/INSTALL.ide b/INSTALL.ide index fbb484fd..757d8354 100644 --- a/INSTALL.ide +++ b/INSTALL.ide @@ -23,7 +23,7 @@ On Gentoo GNU/Linux, do: Else, read the rest of this document to compile your own CoqIde. REQUIREMENT: - - OCaml >= 3.07 with native threads support. + - OCaml >= 3.09.3 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.8.x. @@ -56,8 +56,7 @@ REQUIREMENT: One official releases of lablgtk2 is here: http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/dist/lablgtk-2.10.1.tar.gz - Note that even if its README requires ocaml > 3.07, it works - ok with 3.07. If you are in a hurry just run : + If you are in a hurry just run : cd /tmp && \ wget \ |