From daf719e5554e823b6540be05e48e96ac478e2865 Mon Sep 17 00:00:00 2001
From: pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 27 Apr 2012 16:43:30 +0000
Subject: Coqide MacOS integration refresh

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

(limited to 'configure')

diff --git a/configure b/configure
index 85b97b73b..94268c7a3 100755
--- a/configure
+++ b/configure
@@ -656,10 +656,10 @@ else
     else
         echo "LablGtk2 found, native threads: native CoqIde will be available."
 	COQIDE=opt
-        if [ "$nomacintegration_spec" = "no" ] && pkg-config --exists ige-mac-integration;
+        if [ "$nomacintegration_spec" = "no" ] && pkg-config --exists gtk-mac-integration;
         then
-            cflags=$cflags" `pkg-config --cflags ige-mac-integration`"
-	    IDEARCHFLAGS='-ccopt "`pkg-config --libs ige-mac-integration`"'
+            cflags=$cflags" `pkg-config --cflags gtk-mac-integration`"
+	    IDEARCHFLAGS='-ccopt "`pkg-config --libs gtk-mac-integration`"'
 	    IDEARCHFILE=ide/ide_mac_stubs.o
 	    IDEARCHDEF=QUARTZ
 	elif [ "$ARCH" = "win32" ];
-- 
cgit v1.2.3