diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-01-16 11:16:41 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2018-01-16 11:16:41 -0500 |
| commit | 7b036f9388185bc3cb5264422b5a8f3d33ae9c4a (patch) | |
| tree | 5f2a6bfd8e81b801fa0b54d72b09494e4575be4c /Makefile.ci | |
| parent | 8ea2a8307a8d96f8275ebbd9bd4cbd1f6b0a00c6 (diff) | |
Update configure.ml to only warn on lablgtk 2.16.0
The Launchpad packages for lablgtk2 are misconfigured to report 2.16.0
even for much newer versions. This makes building Coq on Ubuntu
impossible without modifying configure. This commit fixes that problem.
See https://bugs.launchpad.net/ubuntu/+source/lablgtk2/+bug/1577236 for
the upstream bug.
This closes #6585
Diffstat (limited to 'Makefile.ci')
0 files changed, 0 insertions, 0 deletions