aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar lmamane <lmamane@85f007b7-540e-0410-9357-904b9bb8a0f7>2007-01-17 10:06:51 +0000
committerGravatar lmamane <lmamane@85f007b7-540e-0410-9357-904b9bb8a0f7>2007-01-17 10:06:51 +0000
commit89d5e13aa1dd618b99da14b24f2d2399491481ab (patch)
tree2062368aae4fe91f4645e545db097a5b5c124a2b
parentb31c4c29e921fe581584f051ebc04228303ddfdb (diff)
README update:
- GNU Make version 3.80 or later is needed. - a C compiler is needed. - not all ./configure options are listed, refer people to "./configure -help". git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9487 85f007b7-540e-0410-9357-904b9bb8a0f7
-rw-r--r--INSTALL16
1 files changed, 12 insertions, 4 deletions
diff --git a/INSTALL b/INSTALL
index 1577ba90a..fc900e05f 100644
--- a/INSTALL
+++ b/INSTALL
@@ -10,10 +10,17 @@ WHAT DO YOU NEED ?
- Objective Caml version 3.07 or later
(available at http://caml.inria.fr/)
-
+
+ - GNU Make version 3.80 or later
+ (available at http://www.gnu.org/software/make/, but also a
+ standard or optional add-on part to most Unices and Unix
+ clones, sometimes under the name "gmake".)
+
+ - A C compiler
+
Until now, it has mainly been tested on Sun workstations running Solaris,
- and DEC alpha and Pentium workstations running Linux. By FTP, Coq
- comes as a single compressed tar-file. You have probably already
+ DEC alpha and Pentium workstations running Linux. By FTP, Coq comes
+ as a single compressed tar-file. You have probably already
decompressed it if you are reading this document.
@@ -64,7 +71,8 @@ INSTALLATION PROCEDURE IN DETAILS (NORMAL USERS).
the Coq binaries, standard library, man pages, etc. It will propose
you some default values.
- The "configure" script accepts the following options:
+ For a list of options accepted by the "configure" script, run
+ "./configure -help". The main options accepted are:
-prefix <dir>
Binaries, library, man pages and Emacs mode will be respectively