diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-12-27 20:37:22 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-12-27 20:37:22 +0000 |
| commit | 5670cc17f6bfc5b6757f9f950c55c267abe1c818 (patch) | |
| tree | 3cdb5428704b7d8f0019081c0fddc5d1104242ce /INSTALL | |
| parent | 066998ff9f89404cb41a6a3f8c0ccc88d2cc7a4b (diff) | |
MAJ
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5155 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1,12 +1,12 @@ - INSTALLATION PROCEDURES FOR THE COQ V7.4 SYSTEM + INSTALLATION PROCEDURES FOR THE COQ V8.0 SYSTEM ----------------------------------------------- WHAT DO YOU NEED ? ================== Coq is designed to work on computers equipped with the Unix operating - system. In order to compile Coq V7.4 you need: + system. In order to compile Coq V8.0 you need: - Objective Caml version 3.06 or later (available at http://caml.inria.fr/) @@ -49,7 +49,7 @@ INSTALLATION PROCEDURE IN DETAILS (NORMAL USERS). you do not have to check this point anymore. 3- The uncompression and un-tarring of the distribution file gave birth - to a directory named "coq-7.xx". You can rename this directory and put + to a directory named "coq-8.xx". You can rename this directory and put it wherever you want. Just keep in mind that you will need some spare space during the compilation (reckon on about 50 Mb of disk space for the whole system in native-code compilation). Once installed, the |