summaryrefslogtreecommitdiff
path: root/INSTALL.win
blob: f2cddb8a07155476590d23a66e6d04c890ae08d4 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
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.