diff --git a/racket/src/ac/sdk_arg.m4 b/racket/src/ac/sdk_arg.m4
index 7e9788cf92..76ac5e6641 100644
--- a/racket/src/ac/sdk_arg.m4
+++ b/racket/src/ac/sdk_arg.m4
@@ -1,6 +1,7 @@
 AC_ARG_ENABLE(sdk,     [  --enable-sdk=<path>     use Mac OS 10.4 SDK directory])
 AC_ARG_ENABLE(sdk,     [  --enable-sdk5=<path>    use Mac OS 10.5 SDK directory])
 AC_ARG_ENABLE(sdk,     [  --enable-sdk6=<path>    use Mac OS 10.6 SDK directory])
+AC_ARG_ENABLE(sdk,     [  --enable-sdk7=<path>    use Mac OS 10.7 SDK directory])
 AC_ARG_ENABLE(sdk,     [  --enable-ios=<path>     use iOS SDK directory])
 AC_ARG_ENABLE(sdk,     [  --enable-sysroot=<path> use sysroot directory (e.g., for Android)])
 AC_ARG_ENABLE(xonx,    [  --enable-xonx           use Unix style (e.g., use Gtk) for Mac OS])
diff --git a/racket/src/ac/sdk_mac.m4 b/racket/src/ac/sdk_mac.m4
index 3cde57f3b5..7c52c90013 100644
--- a/racket/src/ac/sdk_mac.m4
+++ b/racket/src/ac/sdk_mac.m4
@@ -37,6 +37,14 @@
       SUB_CONFIGURE_EXTRAS="${SUB_CONFIGURE_EXTRAS} LDFLAGS="'"'"${LDFLAGS}"'"'
     fi
 
+    if test "${enable_sdk9}" != "" ; then 
+      PREFLAGS="$PREFLAGS -isysroot ${enable_sdk9} -mmacosx-version-min=10.9"
+      LDFLAGS="$LDFLAGS -isysroot ${enable_sdk9} -mmacosx-version-min=10.9"
+      SUB_CONFIGURE_EXTRAS="${SUB_CONFIGURE_EXTRAS} CFLAGS="'"'"${CFLAGS}"'"'
+      SUB_CONFIGURE_EXTRAS="${SUB_CONFIGURE_EXTRAS} CPPFLAGS="'"'"${PREFLAGS}"'"'
+      SUB_CONFIGURE_EXTRAS="${SUB_CONFIGURE_EXTRAS} LDFLAGS="'"'"${LDFLAGS}"'"'
+    fi
+
     # Force 32-bit build unless mac64 is enabled:
     if test "${enable_mac64}" != "yes" ; then
       if test "$host_cpu" != "powerpc" ; then
diff --git a/racket/src/cfg-cs b/racket/src/cfg-cs
index 67996bd1ba..23ef78a3a9 100755
--- a/racket/src/cfg-cs
+++ b/racket/src/cfg-cs
@@ -1293,6 +1293,7 @@ Optional Features:
   --enable-sdk=<path>     use Mac OS 10.4 SDK directory
   --enable-sdk5=<path>    use Mac OS 10.5 SDK directory
   --enable-sdk6=<path>    use Mac OS 10.6 SDK directory
+  --enable-sdk7=<path>    use Mac OS 10.7 SDK directory
   --enable-ios=<path>     use iOS SDK directory
   --enable-sysroot=<path> use sysroot directory (e.g., for Android)
   --enable-xonx           use Unix style (e.g., use Gtk) for Mac OS
@@ -1924,6 +1925,11 @@ if test "${enable_sdk+set}" = set; then :
   enableval=$enable_sdk;
 fi
 
+# Check whether --enable-sdk was given.
+if test "${enable_sdk+set}" = set; then :
+  enableval=$enable_sdk;
+fi
+
 # Check whether --enable-xonx was given.
 if test "${enable_xonx+set}" = set; then :
   enableval=$enable_xonx;
diff --git a/racket/src/cfg-racket b/racket/src/cfg-racket
index a797ae6b0a..29aa52419e 100755
--- a/racket/src/cfg-racket
+++ b/racket/src/cfg-racket
@@ -1478,6 +1478,7 @@ Optional Features:
   --enable-sdk=<path>     use Mac OS 10.4 SDK directory
   --enable-sdk5=<path>    use Mac OS 10.5 SDK directory
   --enable-sdk6=<path>    use Mac OS 10.6 SDK directory
+  --enable-sdk7=<path>    use Mac OS 10.7 SDK directory
   --enable-ios=<path>     use iOS SDK directory
   --enable-sysroot=<path> use sysroot directory (e.g., for Android)
   --enable-xonx           use Unix style (e.g., use Gtk) for Mac OS
@@ -2754,6 +2755,11 @@ if test "${enable_sdk+set}" = set; then :
   enableval=$enable_sdk;
 fi
 
+# Check whether --enable-sdk was given.
+if test "${enable_sdk+set}" = set; then :
+  enableval=$enable_sdk;
+fi
+
 # Check whether --enable-xonx was given.
 if test "${enable_xonx+set}" = set; then :
   enableval=$enable_xonx;
@@ -4951,6 +4957,14 @@ $as_echo "#define HAVE_STDINT_H 1" >>confdefs.h
       SUB_CONFIGURE_EXTRAS="${SUB_CONFIGURE_EXTRAS} LDFLAGS="'"'"${LDFLAGS}"'"'
     fi
 
+    if test "${enable_sdk9}" != "" ; then
+      PREFLAGS="$PREFLAGS -isysroot ${enable_sdk9} -mmacosx-version-min=10.9"
+      LDFLAGS="$LDFLAGS -isysroot ${enable_sdk9} -mmacosx-version-min=10.9"
+      SUB_CONFIGURE_EXTRAS="${SUB_CONFIGURE_EXTRAS} CFLAGS="'"'"${CFLAGS}"'"'
+      SUB_CONFIGURE_EXTRAS="${SUB_CONFIGURE_EXTRAS} CPPFLAGS="'"'"${PREFLAGS}"'"'
+      SUB_CONFIGURE_EXTRAS="${SUB_CONFIGURE_EXTRAS} LDFLAGS="'"'"${LDFLAGS}"'"'
+    fi
+
     # Force 32-bit build unless mac64 is enabled:
     if test "${enable_mac64}" != "yes" ; then
       if test "$host_cpu" != "powerpc" ; then
diff --git a/racket/src/cs/c/configure b/racket/src/cs/c/configure
index f2c29bfbd2..930aa03d00 100755
--- a/racket/src/cs/c/configure
+++ b/racket/src/cs/c/configure
@@ -1425,6 +1425,7 @@ Optional Features:
   --enable-sdk=<path>     use Mac OS 10.4 SDK directory
   --enable-sdk5=<path>    use Mac OS 10.5 SDK directory
   --enable-sdk6=<path>    use Mac OS 10.6 SDK directory
+  --enable-sdk7=<path>    use Mac OS 10.7 SDK directory
   --enable-ios=<path>     use iOS SDK directory
   --enable-sysroot=<path> use sysroot directory (e.g., for Android)
   --enable-xonx           use Unix style (e.g., use Gtk) for Mac OS
@@ -2599,6 +2600,11 @@ if test "${enable_sdk+set}" = set; then :
   enableval=$enable_sdk;
 fi
 
+# Check whether --enable-sdk was given.
+if test "${enable_sdk+set}" = set; then :
+  enableval=$enable_sdk;
+fi
+
 # Check whether --enable-xonx was given.
 if test "${enable_xonx+set}" = set; then :
   enableval=$enable_xonx;
@@ -4212,6 +4218,14 @@ case "$host_os" in
       SUB_CONFIGURE_EXTRAS="${SUB_CONFIGURE_EXTRAS} LDFLAGS="'"'"${LDFLAGS}"'"'
     fi
 
+    if test "${enable_sdk9}" != "" ; then
+      PREFLAGS="$PREFLAGS -isysroot ${enable_sdk9} -mmacosx-version-min=10.9"
+      LDFLAGS="$LDFLAGS -isysroot ${enable_sdk9} -mmacosx-version-min=10.9"
+      SUB_CONFIGURE_EXTRAS="${SUB_CONFIGURE_EXTRAS} CFLAGS="'"'"${CFLAGS}"'"'
+      SUB_CONFIGURE_EXTRAS="${SUB_CONFIGURE_EXTRAS} CPPFLAGS="'"'"${PREFLAGS}"'"'
+      SUB_CONFIGURE_EXTRAS="${SUB_CONFIGURE_EXTRAS} LDFLAGS="'"'"${LDFLAGS}"'"'
+    fi
+
     # Force 32-bit build unless mac64 is enabled:
     if test "${enable_mac64}" != "yes" ; then
       if test "$host_cpu" != "powerpc" ; then