From b1dc723acd134890cdc0eb80a4682d174c75532e Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Wed, 11 Apr 2018 17:58:25 +0200
Subject: [PATCH] Mac OS: fix build script for libgmp

---
 racket/src/native-libs/build.rkt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/racket/src/native-libs/build.rkt b/racket/src/native-libs/build.rkt
index 9cadfab300..97bea13d77 100644
--- a/racket/src/native-libs/build.rkt
+++ b/racket/src/native-libs/build.rkt
@@ -493,6 +493,9 @@
     [("gmp") (config #:patches (if gcc-4.0? (list gmp-weak-patch) null)
                      #:configure (append
                                   '("--enable-shared" "--disable-static")
+                                  (if mac?
+                                      '("--build=corei-apple-darwin")
+                                      null)
                                   (if (and m32? mac?)
                                       (list "ABI=32")
                                       null)))]