From c02c86626e36c908ec76854f8eda2d5278141d12 Mon Sep 17 00:00:00 2001
From: pboutill
Date: Fri, 10 Aug 2012 15:42:54 +0000
Subject: Bug 2861 : ocamlopt but no lablgtk2.cmxa problem

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

diff --git a/configure b/configure
index 587c8083de..015a794c34 100755
--- a/configure
+++ b/configure
@@ -674,8 +674,8 @@ else
     elif [ "$coqide_spec" = "yes" -a "$COQIDE" = "byte" ]; then 
 	echo "LablGtk2 found, bytecode CoqIde will be used as requested."
 	COQIDE=byte
-    elif [ ! -f "${CAMLLIB}/threads/threads.cmxa" ]; then 
-	echo "LablGtk2 found, no native threads: bytecode CoqIde will be available."
+    elif [ ! -f "${CAMLLIB}/threads/threads.cmxa" -a -f "${lablgtkdir}/gtkThread.cmx" ]; then 
+	echo "LablGtk2 found, not native (or no native threads): bytecode CoqIde will be available."
 	COQIDE=byte
     else
         echo "LablGtk2 found, native threads: native CoqIde will be available."
-- 
cgit v1.2.3