diff options
author | 2001-09-20 15:56:00 +0000 | |
---|---|---|
committer | 2001-09-20 15:56:00 +0000 | |
commit | c0d693080a3108886d9ed6777c1b4c1ca741ed7d (patch) | |
tree | 8866af78656bcdee2c5f2df344512dad2c5ec909 /README.win | |
parent | 90e4bb226594b3f44febb369bb36d28af4fa2079 (diff) |
MAJ V7.1
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2027 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'README.win')
-rw-r--r-- | README.win | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/README.win b/README.win index 2dcaba9d6..2babbb014 100644 --- a/README.win +++ b/README.win @@ -15,9 +15,10 @@ COMPILATION. distribution. If you really need to recompile under Windows, here are some indications: - 1- Install ocaml, camlp4 (must be compiled), Visual C++ (needed for the - -custom option of ocaml) and MASM (needed if you want to produce a - native version). + 1- Install ocaml version 3.01 or later and camlp4 with same + version number as ocaml (must be compiled), Visual C++ (needed + for the -custom option of ocaml) and MASM (needed if you want + to produce a native version). 2- Install a complete set of Unix utilities (used by Makefiles). See: http://sources.redhat.com/cygwin/. |