diff options
| author | notin | 2007-10-09 09:46:00 +0000 |
|---|---|---|
| committer | notin | 2007-10-09 09:46:00 +0000 |
| commit | 3984fc7b79c45bdcf18a686cd6edf4155fa5093d (patch) | |
| tree | 2530eddc6c475aca1d925b75e0385652414e26f9 /INSTALL.win | |
| parent | 6c18e5305bdf88febec5f22edd0e46e86fd2bffc (diff) | |
Mise à jour de README.win
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10200 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'INSTALL.win')
| -rw-r--r-- | INSTALL.win | 63 |
1 files changed, 0 insertions, 63 deletions
diff --git a/INSTALL.win b/INSTALL.win deleted file mode 100644 index a6ed9706c5..0000000000 --- a/INSTALL.win +++ /dev/null @@ -1,63 +0,0 @@ -************************************************************** -* INSTALLATION PROCEDURE FOR THE COQ 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. |