From 6858036c6d12d77df2da9643b04f56733428be13 Mon Sep 17 00:00:00 2001
From: pboutill
Date: Fri, 10 Jun 2011 18:35:06 +0000
Subject: Coqide Menubar integration in MacOS

Because of lablgtk issues, accel_maps can't be customized well on MacOS

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

(limited to 'configure')

diff --git a/configure b/configure
index b43a998aad..87b773f379 100755
--- a/configure
+++ b/configure
@@ -599,7 +599,7 @@ esac
 
 IDEARCHFLAGS=
 IDEARCHFILE=
-IDEARCHDEF=
+IDEARCHDEF=No
 
 # -byte-only should imply -coqide byte, unless the user decides otherwise
 
@@ -647,12 +647,12 @@ else
             cflags=$cflags" `pkg-config --cflags ige-mac-integration`"
 	    IDEARCHFLAGS='-ccopt "`pkg-config --libs ige-mac-integration`"'
 	    IDEARCHFILE=ide/ide_mac_stubs.o
-	    IDEARCHDEF=-DMacInt
+	    IDEARCHDEF=MacInt
 	elif [ "$ARCH" = "win32" ];
         then
 	    IDEARCHFLAGS=
 	    IDEARCHFILE=ide/ide_win32_stubs.o
-	    IDEARCHDEF=-DWin32
+	    IDEARCHDEF=Win32
 	fi
     fi
 fi
@@ -881,7 +881,7 @@ fi
 if test "$COQIDE" != "no"; then
 echo "  Lablgtk2 library in               : $LABLGTKLIB"
 fi
-if test "$IDEARCHDEF" = "-DMacInt"; then
+if test "$IDEARCHDEF" = "MacInt"; then
 echo "  Mac OS integration is on"
 fi
 if test "$with_doc" = "all"; then
-- 
cgit v1.2.3