From d33d8ac07ac20dc70393b3dfbbc4368a8a8600fe Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 2 Aug 2023 10:55:03 -0700 Subject: [PATCH] revert setting arm on linux Signed-off-by: Nikolaj Bjorner --- scripts/mk_util.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/mk_util.py b/scripts/mk_util.py index 595673647..74d585dae 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -2664,7 +2664,7 @@ def mk_config(): LDFLAGS = '%s -static-libgcc -static-libstdc++' % LDFLAGS if sysname == 'Linux' and machine.startswith('armv7') or machine.startswith('armv8'): CXXFLAGS = '%s -fpic' % CXXFLAGS - if IS_ARCH_ARM64: + if IS_ARCH_ARM64 and IS_OSX: print("Setting arm64") CXXFLAGS = '%s -arch arm64' % CXXFLAGS LDFLAGS = '%s -arch arm64' % LDFLAGS