From 89d5e13aa1dd618b99da14b24f2d2399491481ab Mon Sep 17 00:00:00 2001 From: lmamane Date: Wed, 17 Jan 2007 10:06:51 +0000 Subject: 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 --- INSTALL | 16 ++++++++++++---- 1 file changed, 12 insertions(+), 4 deletions(-) diff --git a/INSTALL b/INSTALL index 1577ba90ae..fc900e05fd 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 Binaries, library, man pages and Emacs mode will be respectively -- cgit v1.2.3