diff options
| author | Emilio Jesus Gallego Arias | 2020-09-17 17:32:16 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-09-17 17:32:16 +0200 |
| commit | 21366f8eab4ab9bd2c2af7a986b681704cd94c3f (patch) | |
| tree | 6df2be823134fcfa763885383a14afdff345fa55 /INSTALL.md | |
| parent | 14f0e5059e7f49cabbcd1571d7f053db7d7d3f35 (diff) | |
[configure] Fix version checks for lablgtk and zarith
Fixes #13041 #13047
Configure is quite messy, but we will improve it once we can link it
with findlib and move to dune [that will actually allow to remove all
ad-hoc calls to `ocamlfind` in favor of `findlib` code.
Diffstat (limited to 'INSTALL.md')
| -rw-r--r-- | INSTALL.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/INSTALL.md b/INSTALL.md index adc0f557ac..3d05fd65ab 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -32,7 +32,7 @@ To compile Coq yourself, you need: - for CoqIDE, the [lablgtk3-sourceview3](https://github.com/garrigue/lablgtk) library - (version >= 3.0.beta8), and the corresponding GTK 3.x libraries, as + (version >= 3.1.0), and the corresponding GTK 3.x libraries, as of today (gtk+3 >= 3.18 and gtksourceview3 >= 3.18) The IEEE-754 compliance is required by primitive floating-point |