Coqide MacOS integration refresh

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15254 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 3 insertions, 3 deletions

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" ];