diff options
| author | Hugo Herbelin | 2018-11-19 15:39:37 +0100 |
|---|---|---|
| committer | Vincent Laporte | 2019-03-19 08:40:17 +0000 |
| commit | 977261ed0afd415932401c3f5df258333488e47b (patch) | |
| tree | 4c3d697619a24c63e55ebdf14771318dfa9d83b1 /INSTALL | |
| parent | 1e76c9f840135d6445e89090fcd3c6c073115a15 (diff) | |
CoqIDE: Adapt configuration to require lablgtk3 and gtksourceview3.
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -43,8 +43,8 @@ WHAT DO YOU NEED ? - a C compiler - - for CoqIDE, the lablgtk development files (version >= 2.18.5), - and the GTK 2.x libraries including gtksourceview2. + - for CoqIDE, the lablgtk development files (version >= 3.0.0), + and the GTK 3.x libraries including gtksourceview3. Note that num and lablgtk should be properly registered with findlib/ocamlfind as Coq's makefile will use it to locate the |