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 | |
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')
-rw-r--r-- | INSTALL | 4 |
1 files changed, 2 insertions, 2 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. |