diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-01-02 13:16:45 +0100 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-01-04 10:36:42 +0100 |
commit | f8b45835f78da16ecc89c0b85ed9fbe92ab4a764 (patch) | |
tree | be25917f0f38f9cace1a37400bf71500532c2c17 /INSTALL.ide | |
parent | 2d6e395dead61a49ede6208bc40e16b4b8e68ce4 (diff) |
Update the lower-bound of the lablgtk dependency.
Closes #6509.
Diffstat (limited to 'INSTALL.ide')
-rw-r--r-- | INSTALL.ide | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/INSTALL.ide b/INSTALL.ide index 513e37c91..26c192baa 100644 --- a/INSTALL.ide +++ b/INSTALL.ide @@ -39,7 +39,7 @@ COMPILATION REQUIREMENTS install GTK+ 2.x, should you need to force it for one reason or another.) - The OCaml bindings for GTK+ 2.x, lablgtk2 with support for gtksourceview2. - You need at least version 2.16. + You need at least version 2.18.3. Your distribution may contain precompiled packages. For example, for Debian, run @@ -57,7 +57,7 @@ COMPILATION REQUIREMENTS ./configure && make world && make install You must have write access to the OCaml standard library path. - If this fails, read lablgtk-2.14.2/README. + If this fails, read the README. INSTALLATION |