Notes pour la version Windows

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1724 85f007b7-540e-0410-9357-904b9bb8a0f7

2 files changed, 102 insertions, 0 deletions

diff --git a/INSTALL.win b/INSTALL.win
new file mode 100644
index 000000000..7d3dfe105
--- /dev/null
+++ b/INSTALL.win
@@ -0,0 +1,63 @@
+*****************************************************************
+* INSTALLATION PROCEDURE FOR THE COQ V7 SYSTEM UNDER WINDOWS OS *
+*****************************************************************
+
+    The binary distribution consists in a .zip archive file. This .zip contains
+long filenames and cannot therefore be unpacked with pkunzip version 2. Use
+either Winzip (shareware) or the Windows version of unzip (freeware):
+
+    http://www.winzip.com/
+    http://www.winimage.com/zLibDll/
+
+    Unzipping the distribution creates (among others) the following directories
+and files:
+
+    coq\bin\		The command-line tools
+    coq\lib\		The standard library files
+    coq\emacs		A Coq mode for your Emacs
+    coq\man\man1	The man pages for the command-line tools
+
+    There are two cases to consider :
+
+1. You unzip in the root of your drive (say C):
+===============================================
+
+    Hence Coq will be installed in C:\coq
+
+    You must add the C:\coq\bin path to your environment variable PATH. This is
+done by adding the following line to your AUTOEXEC.BAT:
+
+	set PATH=%PATH%;C:\coq\bin
+
+    You may also want to specify where Coq has to look for your configuration
+file (.coqrc or .coqrc.6.3.1), e.g.:
+
+	set HOME=C:\My_Documents\Coq
+
+2. You unzip in some other place (say D:\My_Dir):
+=================================================
+
+    You must add the D:\My_Dir\coq\bin path to your environment variable PATH.
+This is done by adding the following line to AUTOEXEC.BAT:
+
+	set PATH=%PATH%;D:\My_Dir\coq\bin
+
+    You must also set the environment variables COQBIN and COQLIB to tell Coq
+that binaries and libraries are not in the default place. This is done by
+adding the following lines to your AUTOEXEC.BAT:
+
+	set COQBIN=D:\My_Dir\coq\bin
+	set COQLIB=D:\My_Dir\coq\lib
+
+    You may also want to specify where Coq has to look for your configuration
+file (.coqrc or .coqrc.6.3.1), e.g.:
+
+	set HOME=C:\My_Documents\Coq
+
+PROBLEMS:
+=========
+
+    If you have any trouble with this installation, please contact:
+coq@pauillac.inria.fr.
+
+    The Coq Team.
diff --git a/README.win b/README.win
new file mode 100644
index 000000000..2dcaba9d6
--- /dev/null
+++ b/README.win
@@ -0,0 +1,39 @@
+THE COQ V7 SYSTEM
+=================
+
+    This file contains remarks specific to the windows port of Coq.
+
+INSTALLATION.
+=============
+
+    See the file INSTALL.win for installation procedure.
+
+COMPILATION.
+============
+
+    If you want to install coq, you had better transfer the precompiled
+    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).
+
+    2- Install a complete set of Unix utilities (used by Makefiles). 
+       See: http://sources.redhat.com/cygwin/.
+
+    3- Compilation of camlp4 files must be done by hand in two steps (and not
+       only one as it is case in the Makefile).
+
+    4- Though not nescessary, you can find useful:
+         - Windows version of (X)Emacs: it is a powerful environment for
+           developpers with coloured syntax, modes for compilation and debug,
+           and many more. It is free. See: http://www.gnu.org/software.
+         - Windows cvs client (very useful if you have access to the Coq
+           archive).
+
+    If you are lost, you could find help at: coq@pauillac.inria.fr.
+
+    Good luck :-)
+
+    The Coq Team.