From 05a77a02484d5c9d32460a1602507d6253511bcd Mon Sep 17 00:00:00 2001 From: xleroy Date: Mon, 28 Oct 2013 09:05:17 +0000 Subject: Better prepro options for XCode 5.0 git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2354 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'configure') diff --git a/configure b/configure index 8a83aa6..00c9b8b 100755 --- a/configure +++ b/configure @@ -124,7 +124,7 @@ case "$target" in variant="standard" system="macosx" cc="${toolprefix}gcc -arch i386" - cprepro="${toolprefix}gcc -arch i386 -U__GNUC__ -U__BLOCKS__ -E" + cprepro="${toolprefix}gcc -arch i386 -U__GNUC__ -U__clang__ -U__BLOCKS__ '-D__attribute__(x)=' -E" casm="${toolprefix}gcc -arch i386 -c" case `uname -r` in [1-9].*|10.*|11.*) # up to MacOS 10.7 included -- cgit v1.2.3