diff options
| author | Théo Zimmermann | 2019-06-05 10:35:15 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-06-05 10:35:28 +0200 |
| commit | e5ad4787ed51bf0bad8a9b742662cbdac5a6abc6 (patch) | |
| tree | 8484fddb8ce8cb57140e3f05bfbc9d94b6edabf2 | |
| parent | c0a695e89b0562eb6450c04ddba5e6e0414e5fd8 (diff) | |
Fix #10283: clearer dependency documentation for building CoqIDE.
| -rw-r--r-- | INSTALL | 7 | ||||
| -rw-r--r-- | doc/sphinx/changes.rst | 4 |
2 files changed, 9 insertions, 2 deletions
@@ -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. diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst index db4ebd5e38..ce3e10896c 100644 --- a/doc/sphinx/changes.rst +++ b/doc/sphinx/changes.rst @@ -120,7 +120,9 @@ reference manual. Here are the most important user-visible changes: - CoqIDE: - - CoqIDE now depends on gtk+3 and lablgtk3 instead of gtk+2 and lablgtk2 + - CoqIDE now depends on gtk+3 and lablgtk3 instead of gtk+2 and lablgtk2. + The INSTALL file available in the Coq sources has been updated to list + the new dependencies (`#9279 <https://github.com/coq/coq/pull/9279>`_, by Hugo Herbelin, with help from Jacques Garrigue, Emilio Jesús Gallego Arias, Michael Sogetrop and Vincent Laporte). |