From 6532b0bdc90ed81caae68b1ce3ecf8625e5618a2 Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Sun, 10 Jun 2018 21:29:07 +0200 Subject: Get rid of INSTALL.ide. List the dependency versions in INSTALL. --- INSTALL | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'INSTALL') diff --git a/INSTALL b/INSTALL index 19dfb5278..eabc729f7 100644 --- a/INSTALL +++ b/INSTALL @@ -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 -- cgit v1.2.3