diff options
author | Stephane Glondu <steph@glondu.net> | 2009-02-19 13:13:14 +0100 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2009-02-19 13:13:14 +0100 |
commit | a0a94c1340a63cdb824507b973393882666ba52a (patch) | |
tree | 73aa4eb32cbd176379bc91b21c184e2a6882bfe3 /README.win | |
parent | cfbfe13f5b515ae2e3c6cdd97e2ccee03bc26e56 (diff) |
Imported Upstream version 8.2-1+dfsgupstream/8.2-1+dfsg
Diffstat (limited to 'README.win')
-rw-r--r-- | README.win | 22 |
1 files changed, 16 insertions, 6 deletions
@@ -1,7 +1,7 @@ THE COQ V8.2 SYSTEM =================== - This file contains remarks specific to the windows port of Coq. + This file contains remarks specific to the Windows port of Coq. INSTALLATION. ============= @@ -16,12 +16,19 @@ default). COMPILATION. ============ - If you want to install coq, you had better transfer the precompiled + 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 for Windows (MinGW port), preferably version 3.09.3. + 1- Install OCaml for Windows (MinGW port), preferably version 3.11.0. See: http://caml.inria.fr + + If you choose OCaml 3.11.0, you also need to install FlexDLL. + See: http://alain.frisch.fr/flexdll.html + + As shell script really dislikes space character within file + names, we strongly advise you to install OCaml to a path not + containing spaces, like 'C:\OCaml' 2- Install a shell environment with at least: - a C compiler (gcc), @@ -31,19 +38,22 @@ COMPILATION. (official packages are made using Cygwin) See: http://www.cygwin.com - 3- In order to compile Coqide, you will need the LablGTK library + 3- If using OCaml version >= 3.10.0, you have to install Camlp5. + See http://pauillac.inria.fr/~ddr/camlp5/ + + 4- In order to compile Coqide, you will need the LablGTK library See: http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html You also need to install the GTK libraries for Windows (see the installation instruction for LablGTK) - 4- In a shell window, type successively + 5- In a shell window, type successively ./configure make world make install - 5- Though not nescessary, you can find useful: + 6- 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. |