diff options
author | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-09-01 13:55:18 +0000 |
---|---|---|
committer | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-09-01 13:55:18 +0000 |
commit | af1b1dc39df2f23aef7c108e542c2bf08f916a87 (patch) | |
tree | fb6ab09bcfac0493516e894e594571f72d8c346f /INSTALL.ide | |
parent | ced086814dcb43f53f2a4e413515685d744a7993 (diff) |
Coq ne compile plus avec OCaml 3.06 (mais avec 3.07 c'est ok)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9116 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'INSTALL.ide')
-rw-r--r-- | INSTALL.ide | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/INSTALL.ide b/INSTALL.ide index d8f1208bf..0ca3d9e0a 100644 --- a/INSTALL.ide +++ b/INSTALL.ide @@ -9,7 +9,7 @@ DISCLAIMER: CoqIde is ongoing work. Eventhough it should never let you Do not hesitate to send suggestions/bug reports. REQUIREMENT: - - OCaml >= 3.06 with native thread support. + - OCaml >= 3.07 with native thread support. - make world must succeed. - The graphical toolkit Gtk 2.x. See http://www.gtk.org. The official supported version is at least 2.2.x. @@ -37,7 +37,7 @@ INSTALLATION http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html The first official release of lablftk2 is here: http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/dist/lablgtk-2.2.0.tar.gz - Note that even if its README requires ocaml > 3.07, it works ok with 3.06. + Note that even if its README requires ocaml > 3.07, it works ok with 3.07. If you are in a hurry just run : cd /tmp && \ |