From bfd0459d2feeaf00fd4df3698f21f75ac8e7cc7f Mon Sep 17 00:00:00 2001
From: MITSUNARI Shigeo <herumi@nifty.com>
Date: Wed, 30 Oct 2019 13:37:32 +0900
Subject: [PATCH] disable GMP on macOS Catalina

---
 common.mk | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/common.mk b/common.mk
index 8bbc032..68b6ba0 100644
--- a/common.mk
+++ b/common.mk
@@ -95,6 +95,12 @@ CFLAGS+=$(CFLAGS_OPT_USER)
 endif
 CFLAGS+=$(CFLAGS_USER)
 MCL_USE_GMP?=1
+ifeq ($(OS),mac)
+  ifeq ($(shell sw_vers -productVersion),10.15)
+    # workaround because of GMP does not run well on Catalina
+    MCL_USE_GMP=0
+  endif
+endif
 MCL_USE_OPENSSL?=1
 ifeq ($(MCL_USE_GMP),0)
   CFLAGS+=-DMCL_USE_VINT