File: README.win

package info (click to toggle)
coq 8.0pl2-2
  • links: PTS
  • area: main
  • in suites: sarge
  • size: 14,228 kB
  • ctags: 17,685
  • sloc: ml: 97,070; makefile: 1,255; sh: 738; lisp: 456; awk: 15
file content (43 lines) | stat: -rw-r--r-- 1,281 bytes parent folder | download
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
THE COQ V8.0 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 version 3.06 or later, 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- Under cygwin, type successively

        ./configure
        make world
        make install
        make clean

    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-bugs@pauillac.inria.fr.

    Good luck :-)

    The Coq Team.