disable GMP on macOS Catalina

5 years ago · bfd0459d2f
parent 0fe07b047c
commit bfd0459d2f
1 changed files with 6 additions and 0 deletions
--- 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