diff options
author | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-02-20 13:50:10 +0000 |
---|---|---|
committer | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-02-20 13:50:10 +0000 |
commit | 70621433c2c4028650e1c09e88c496f0aba67a6f (patch) | |
tree | 32e4ed456ae5a3c84b51103f6c70c35f2ed2e0ce /INSTALL | |
parent | 18ea9b8400e03b815f81fcff3c79459d2b5db1f6 (diff) |
- changing minimal version for OCaml: Coq uses Filename.dirsep that is available from OCaml 3.11.2 (see bug #2707)
- fixing outdated address for Coq Club
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14987 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'INSTALL')
-rw-r--r-- | INSTALL | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -39,9 +39,9 @@ WHAT DO YOU NEED ? urpmi coq - Should you need or prefer to compile Coq V8.2 yourself, you need: + Should you need or prefer to compile Coq V8.4 yourself, you need: - - Objective Caml version 3.10.0 or later + - Objective Caml version 3.11.2 or later (available at http://caml.inria.fr/) - Camlp5 (version <= 4.08, or 5.* transitional) @@ -87,7 +87,7 @@ QUICK INSTALLATION PROCEDURE. INSTALLATION PROCEDURE IN DETAILS (NORMAL USERS). ================================================= -1- Check that you have the Objective Caml compiler version 3.10.0 (or later) +1- Check that you have the Objective Caml compiler version 3.11.2 (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. |