diff options
| -rw-r--r-- | INSTALL | 4 | ||||
| -rw-r--r-- | INSTALL.ide | 4 | ||||
| -rw-r--r-- | README.win | 2 |
3 files changed, 5 insertions, 5 deletions
@@ -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). |