Build on apple silicon (runtimeverification#133)

Author: Baltoli

Makefile

@@ -18,6 +18,17 @@ endif
 INCLUDES := -I $(K_RELEASE)/include/kllvm -I $(PREFIX)/include -I dummy-version -I plugin -I plugin-c -I deps/cpp-httplib
 CPPFLAGS += --std=c++14 $(INCLUDES)
 
+ifneq ($(APPLE_SILICON),)
+    LIBFF_CMAKE_FLAGS += -DCURVE=ALT_BN128 -DUSE_ASM=Off
+
+    GMP_PREFIX ?= $(shell brew --prefix gmp)
+    MPFR_PREFIX ?= $(shell brew --prefix mpfr)
+    OPENSSL_PREFIX ?= $(shell brew --prefix openssl)
+    CRYPTOPP_PREFIX ?= $(shell brew --prefix [email protected])
+
+    INCLUDES += -I $(GMP_PREFIX)/include -I $(MPFR_PREFIX)/include -I $(OPENSSL_PREFIX)/include -I $(CRYPTOPP_PREFIX)/include
+endif
+
 .PHONY: build libcryptopp libff libsecp256k1
 build: plugin-c/json.o plugin-c/blake2.o plugin-c/crypto.o plugin-c/plugin_util.o plugin-c/k.o