From 7b036f9388185bc3cb5264422b5a8f3d33ae9c4a Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Tue, 16 Jan 2018 11:16:41 -0500 Subject: 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 --- configure.ml | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'configure.ml') 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) -- cgit v1.2.3