From 294da9acff7294d4d1ceaa59f087763ffede334c Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Mon, 22 Oct 2012 13:55:11 +0100
Subject: [PATCH] Removed -mmacosx-min-version from the OSX build.

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
 configure.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure.in b/configure.in
index fc0e55e1e..46b9593f3 100644
--- a/configure.in
+++ b/configure.in
@@ -39,7 +39,7 @@ AS_IF([test "$host_os" = "Darwin"], [
   SLIBFLAGS="-dynamiclib -fopenmp"
   COMP_VERSIONS="-compatibility_version \$(Z3_VERSION) -current_version \$(Z3_VERSION)"
   STATIC_FLAGS=
-  CPPFLAGS+=" -mmacosx-version-min=10.4"
+  CPPFLAGS+=""
 ], [test "$host_os" = "Linux"], [
   PLATFORM=linux
   SO_EXT=so