From 20b484ea108ae82e604eadf4e6b873b27dc9a453 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sun, 25 Oct 2009 18:08:57 +0000
Subject: [PATCH] Problem with MacOS X 10.6
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1151 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
configure | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/configure b/configure
index fc255b274..23db505cb 100755
--- a/configure
+++ b/configure
@@ -67,7 +67,7 @@ case "$target" in
variant="macosx"
system="macosx"
cc="gcc -arch ppc"
- cprepro="gcc -arch ppc -U__GNUC__ -E"
+ cprepro="gcc -arch ppc -U__GNUC__ -U__BLOCKS__ -E"
casm="gcc -arch ppc -c"
clinker="gcc -arch ppc"
libmath="";;
--
GitLab