diff options
author | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-11-05 18:00:40 +0000 |
---|---|---|
committer | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-11-05 18:00:40 +0000 |
commit | e3c40a83409cfe4838e8ba20944360b94ab3e83e (patch) | |
tree | 2196f4959bc58a4f49bbfa4bf5d22283393751a0 /INSTALL.ide | |
parent | 8866d53c2f6f93a012062817ef0a4e4e4eb6997b (diff) |
Changement de la version minimale requise de OCaml (3.07 => 3.09.3).
J'ai ajouté une option '-force-caml-version' au ./configure pour
passer outre la vérification de la version de OCaml. La barre a été
mise à 3.09.3 parce que Khepri (Debian Etch = oldstable) continue de
faire tourner le bench en utilisant OCaml 3.09.3.
Pour info, Coq 8.2 compile avec la 3.08.4, mais pas le trunk.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12473 85f007b7-540e-0410-9357-904b9bb8a0f7
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 fbb484fd8..757d83548 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 \ |