From e5ad4787ed51bf0bad8a9b742662cbdac5a6abc6 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Wed, 5 Jun 2019 10:35:15 +0200
Subject: Fix #10283: clearer dependency documentation for building CoqIDE.

---
 INSTALL | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'INSTALL')

diff --git a/INSTALL b/INSTALL
index e02439c54b..8b5a01e401 100644
--- a/INSTALL
+++ b/INSTALL
@@ -50,10 +50,15 @@ WHAT DO YOU NEED ?
    findlib/ocamlfind as Coq's makefile will use it to locate the
    libraries during the build.
 
+   Debian / Ubuntu users can get the necessary system packages for
+   CoqIDE with:
+
+   $ sudo apt-get install libgtk-3-dev libgtksourceview-3.0-dev
+
    Opam (https://opam.ocaml.org/) is recommended to install OCaml and
    the corresponding packages.
 
-   $ opam install num ocamlfind lablgtk conf-gtksourceview
+   $ opam install num ocamlfind lablgtk3 lablgtk3-sourceview3
 
    should get you a reasonable OCaml environment to compile Coq.
 
-- 
cgit v1.2.3