diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-06-10 21:29:07 +0200 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-06-22 09:11:33 +0200 |
commit | 6532b0bdc90ed81caae68b1ce3ecf8625e5618a2 (patch) | |
tree | d8dca26b056ce90dda78f7c2e093415b94857f63 /INSTALL | |
parent | c30782f9a5473da0754b7a29bfb70da36bc14b38 (diff) |
Get rid of INSTALL.ide. List the dependency versions in INSTALL.
Diffstat (limited to 'INSTALL')
-rw-r--r-- | INSTALL | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -45,8 +45,8 @@ WHAT DO YOU NEED ? - a C compiler - - for Coqide, the Lablgtk development files, and the GTK libraries - including gtksourceview, see INSTALL.ide for more details + - for CoqIDE, the lablgtk development files (version >= 2.18.3), + and the GTK 2.x libraries including gtksourceview2. Note that num, camlp5 and lablgtk should be properly registered with findlib/ocamlfind as Coq's makefile will use it to locate the |