From af1b1dc39df2f23aef7c108e542c2bf08f916a87 Mon Sep 17 00:00:00 2001 From: notin Date: Fri, 1 Sep 2006 13:55:18 +0000 Subject: 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 --- INSTALL | 4 ++-- INSTALL.ide | 4 ++-- README.win | 2 +- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/INSTALL b/INSTALL index 56c03e2eb..1577ba90a 100644 --- a/INSTALL +++ b/INSTALL @@ -8,7 +8,7 @@ WHAT DO YOU NEED ? Coq is designed to work on computers equipped with the Unix operating system. In order to compile Coq V8.1 you need: - - Objective Caml version 3.06 or later + - Objective Caml version 3.07 or later (available at http://caml.inria.fr/) Until now, it has mainly been tested on Sun workstations running Solaris, @@ -29,7 +29,7 @@ QUICK INSTALLATION PROCEDURE. INSTALLATION PROCEDURE IN DETAILS (NORMAL USERS). ================================================= -1- Check that you have the Objective Caml compiler version 3.06 (or later) +1- Check that you have the Objective Caml compiler version 3.07 (or later) installed on your computer and that "ocamlmktop" and "ocamlc" (or its native code version "ocamlc.opt") lie in a directory which is present in your $PATH environment variable. 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 && \ diff --git a/README.win b/README.win index d4431ac6f..ee64a54d9 100644 --- a/README.win +++ b/README.win @@ -15,7 +15,7 @@ COMPILATION. distribution. If you really need to recompile under Windows, here are some indications: - 1- Install ocaml version 3.06 or later, Visual C++ (needed + 1- Install ocaml version 3.07 or later, Visual C++ (needed for the -custom option of ocaml) and MASM (needed if you want to produce a native version). -- cgit v1.2.3