diff options
author | Stephane Glondu <steph@glondu.net> | 2010-07-21 09:46:51 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2010-07-21 09:46:51 +0200 |
commit | 5b7eafd0f00a16d78f99a27f5c7d5a0de77dc7e6 (patch) | |
tree | 631ad791a7685edafeb1fb2e8faeedc8379318ae /README.win | |
parent | da178a880e3ace820b41d38b191d3785b82991f5 (diff) |
Imported Upstream snapshot 8.3~beta0+13298
Diffstat (limited to 'README.win')
-rw-r--r-- | README.win | 26 |
1 files changed, 8 insertions, 18 deletions
@@ -1,7 +1,7 @@ -THE COQ V8.2 SYSTEM -=================== +THE COQ V8 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,19 +16,12 @@ 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.11.0. + 1- Install ocaml for Windows (MinGW port), preferably version 3.09.3. 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), @@ -38,22 +31,19 @@ COMPILATION. (official packages are made using Cygwin) See: http://www.cygwin.com - 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 + 3- 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) - 5- In a shell window, type successively + 4- In a shell window, type successively ./configure make world make install - 6- Though not nescessary, you can find useful: + 5- 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. |