diff options
| author |  lmamane <lmamane@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-01-17 18:01:02 +0000 |
|---|---|---|
| committer | lmamane <lmamane@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-01-17 18:01:02 +0000 |
| commit | b6e48edfe3a3df123ea8e3de81d96866ae54d553 (patch) | |
| tree | f5e46b9eb70027daa2b99a4fa9f3b51a365cfd0f /INSTALL | |
| parent | 8361c31cd14e95ae34386685e94a7fea86563d14 (diff) | |
Reintroduce compatibility with old versions of GNU make
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9497 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 7 |
1 files changed, 0 insertions, 7 deletions
@@ -11,13 +11,6 @@ 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, DEC alpha and Pentium workstations running Linux. By FTP, Coq comes as a single compressed tar-file. You have probably already |