diff options
| author |  notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-10-09 10:12:29 +0000 |
|---|---|---|
| committer | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-10-09 10:12:29 +0000 |
| commit | a0e00dd52d1ef98273febb449c8a177a14552b4a (patch) | |
| tree | 21eda956f6b9d75eb45cb3fe04e27a892516b805 /README.win | |
| parent | 3984fc7b79c45bdcf18a686cd6edf4155fa5093d (diff) | |
Oubli de GTK pour Windows + typo
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10201 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'README.win')
| -rw-r--r-- | README.win | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/README.win b/README.win index 0e0a8de2f..0f8023bb7 100644 --- a/README.win +++ b/README.win @@ -34,13 +34,16 @@ COMPILATION. 3- In order to compile Coqide, you will need the LablGTK library See: http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html - 3- In a shell window, type successively + You also need to install the GTK libraries for Windows (see the + installation instruction for LablGTK) + + 4- In a shell window, type successively ./configure make world make install - 4- 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. |