aboutsummaryrefslogtreecommitdiffhomepage
path: root/configure
diff options
context:
space:
mode:
authorGravatar pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7>2011-06-10 18:35:06 +0000
committerGravatar pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7>2011-06-10 18:35:06 +0000
commit6858036c6d12d77df2da9643b04f56733428be13 (patch)
tree6e2c0986dc71b88229084c9b112666d93b73a1c5 /configure
parent8de2295f3becd3aa7116c0710122efd63144b0ce (diff)
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
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure8
1 files changed, 4 insertions, 4 deletions
diff --git a/configure b/configure
index b43a998aa..87b773f37 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