diff options
| author | Clément Pit-Claudel | 2019-06-12 11:21:59 -0400 |
|---|---|---|
| committer | Clément Pit-Claudel | 2019-06-12 11:21:59 -0400 |
| commit | ac854a5542b2118be5dfd7bd26d9e3a5db945167 (patch) | |
| tree | b8244b8a4feda26e3ccc431209396716f2fa5252 /INSTALL | |
| parent | c049fa922fd1a12a4a5faddcd06b3475d0529cf6 (diff) | |
| parent | a3da7880393791fcf3ed3eafe8444b3049e3119f (diff) | |
Merge PR #10310: Fix #10283: clearer dependency documentation for building CoqIDE.
Reviewed-by: cpitclaudel
Reviewed-by: ejgallego
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 7 |
1 files changed, 6 insertions, 1 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 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-sourceview3 should get you a reasonable OCaml environment to compile Coq. |