diff options
author | Samuel Mimram <samuel.mimram@ens-lyon.org> | 2004-07-28 21:54:47 +0000 |
---|---|---|
committer | Samuel Mimram <samuel.mimram@ens-lyon.org> | 2004-07-28 21:54:47 +0000 |
commit | 6b649aba925b6f7462da07599fe67ebb12a3460e (patch) | |
tree | 43656bcaa51164548f3fa14e5b10de5ef1088574 /INSTALL.win |
Imported Upstream version 8.0pl1upstream/8.0pl1
Diffstat (limited to 'INSTALL.win')
-rw-r--r-- | INSTALL.win | 63 |
1 files changed, 63 insertions, 0 deletions
diff --git a/INSTALL.win b/INSTALL.win new file mode 100644 index 00000000..f2cddb8a --- /dev/null +++ b/INSTALL.win @@ -0,0 +1,63 @@ +***************************************************************** +* INSTALLATION PROCEDURE FOR THE COQ V8 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 (not mandatory), 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 (not mandatory), e.g.: + + set HOME=C:\My_Documents\Coq + +PROBLEMS: +========= + + If you have any trouble with this installation, please contact: +coq-bugs@pauillac.inria.fr. + + The Coq Team. |