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 | |
| 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
| -rw-r--r-- | configure.ml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/configure.ml b/configure.ml index e991eadac..4cd22b5ec 100644 --- a/configure.ml +++ b/configure.ml @@ -768,7 +768,13 @@ let check_lablgtk_version src dir = match src with begin (* Version 2.18.3 is known to report incorrectly as 2.18.0 *) printf "Warning: could not check the version of lablgtk2.\nMake sure your version is at least 2.18.3.\n"; - (true, "an unknown version") + (true, "an unknown version claiming to be 2.18.0") + end + else if arch = "Linux" && vi = [2; 16; 0] then + begin + (* Launchpad packages report as version 2.16.0 due to a misconfigured META file; see https://bugs.launchpad.net/ubuntu/+source/lablgtk2/+bug/1577236 *) + printf "Warning: could not check the version of lablgtk2.\nMake sure your version is at least 2.18.3.\nSee https://bugs.launchpad.net/ubuntu/+source/lablgtk2/+bug/1577236 for more details."; + (true, "an unknown version claiming to be 2.16.0") end else ([2; 18; 3] <= vi, v) |