Merge branch 'dev'

herumi · Apr 2, 2024 · 3a23a9f · 3a23a9f
2 parents 5655236 + 353ddc5
commit 3a23a9f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/ETH.cfg b/ETH.cfg
@@ -1,2 +1 @@
 ETH_CFLAGS=-DBLS_ETH
-MCL_STATIC_CODE=1
diff --git a/Makefile b/Makefile
@@ -1,5 +1,8 @@
 -include ETH.cfg
 ARCH?=$(shell uname -m)
+ifeq ($(ARCH),x86_64)
+MCL_STATIC_CODE=1
+endif
 SRC_DIR?=src/
 BLS_DIR?=$(SRC_DIR)/bls
 MCL_DIR?=$(BLS_DIR)/mcl