mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
revert setting arm on linux
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
9b5727adde
commit
d33d8ac07a
|
@ -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
|
||||
|
|
Loading…
Reference in a new issue