From 8b6f6b1c4b60e74dccd5d8c49bdd433e19d53bf4 Mon Sep 17 00:00:00 2001
From: pboutill
Date: Sat, 11 Jun 2011 18:56:27 +0000
Subject: Coqide now need lablgtk2.14.0

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14188 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure b/configure
index 87b773f379..d7a86d04d3 100755
--- a/configure
+++ b/configure
@@ -630,7 +630,7 @@ else
     if [ "$lablgtkdir" = "" ]; then
 	echo "LablGtk2 not found: CoqIde will not be available."
 	COQIDE=no
-    elif [ -z "`grep -w convert_with_fallback "$lablgtkdir/glib.mli"`" ]; then
+    elif [ -z "`grep -w Windowing "$lablgtkdir/gdk.mli"`" ]; then
 	echo "LablGtk2 found but too old: CoqIde will not be available."
 	COQIDE=no;
     elif [ "$coqide_spec" = "yes" -a "$COQIDE" = "byte" ]; then 
-- 
cgit v1.2.3