diff options
author | jnarboux <jnarboux@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-05-28 13:54:37 +0000 |
---|---|---|
committer | jnarboux <jnarboux@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-05-28 13:54:37 +0000 |
commit | d3244b1b920fefe52c9fe206c70678934a3e295f (patch) | |
tree | d32c57da9e687ddb542e87ffc07779b8e229dfdb /INSTALL.ide | |
parent | 4257c23d0a178c2dd59e2b49697686c6b43aab43 (diff) |
update gtk requirements
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11008 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'INSTALL.ide')
-rw-r--r-- | INSTALL.ide | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/INSTALL.ide b/INSTALL.ide index 9aa9c72cd..fbb484fd8 100644 --- a/INSTALL.ide +++ b/INSTALL.ide @@ -40,7 +40,9 @@ REQUIREMENT: install GTK+ 2.x should you need to force it for one reason or another.) - - The OCaml bindings for for GTK+ 2.x, lablgtk2. + - The OCaml bindings for GTK+ 2.x, lablgtk2. + + You need at least version 2.10.0. Your distribution may contain precompiled packages. For example, for Debian, run @@ -52,23 +54,23 @@ REQUIREMENT: http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html . One official releases of lablgtk2 is here: - http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/dist/lablgtk-2.10.0.tar.gz + http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/dist/lablgtk-2.10.1.tar.gz Note that even if its README requires ocaml > 3.07, it works ok with 3.07. If you are in a hurry just run : cd /tmp && \ wget \ - http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/dist/lablgtk-2.10.0.tar.gz && \ - tar zxvf lablgtk-2.10.0.tar.gz && \ - cd lablgtk-2.10.0 && \ + http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/dist/lablgtk-2.10.1.tar.gz && \ + tar zxvf lablgtk-2.10.1.tar.gz && \ + cd lablgtk-2.10.1 && \ ./configure && \ make world && \ make install You must have write access to the OCaml standard library path. - If this fails, read lablgtk-2.10.0/README. + If this fails, read lablgtk-2.10.1/README. INSTALLATION |