diff options
Diffstat (limited to 'INSTALL.ide')
| -rw-r--r-- | INSTALL.ide | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/INSTALL.ide b/INSTALL.ide index 56bbbb0a73..b4f1a05c16 100644 --- a/INSTALL.ide +++ b/INSTALL.ide @@ -36,17 +36,17 @@ INSTALLATION 1) You need to install the OCaml stub library lablgtk2. See http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html - The latest CVS version is needed. + The latest CVS snapshot version is needed. Use this one : - http://www.lri.fr/~monate/download/lablgtk2-coqide.tgz + http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/dist/lablgtk2-20030707.tar.gz If you are in a hurry just run : cd /tmp && \ - wget http://www.lri.fr/~monate/download/lablgtk2-coqide.tgz && \ - tar zxvf lablgtk2-coqide.tgz && \ - cd lablgtk2-coqide && \ - make configure && \ - make all opt && \ + wget http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/dist/lablgtk2-20030707.tar.gz && \ + tar zxvf lablgtk2-20030707.tgz && \ + cd lablgtk2 && \ + ./configure && \ + make world && \ make install You must have write access to the OCaml standard library path. @@ -76,8 +76,8 @@ There are three configuration files located in your $(HOME) dir. You may need to set HOME to some sensible value under Windows. - .coqiderc is generated by coqide itself. It may be edited by hand or - using the Preference menu from coqide. It will be generated the first time - you save your preferences in Coqide. + by using the Preference menu from coqide. It will be generated the first time + you save your the preferences in Coqide. - .coqide-gtk2rc is a standard Gtk2 configuration file. A sample file can be found in the coq lib "ide" subdir. |