mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
no uname on nt
This commit is contained in:
parent
1346a168a1
commit
79553261d1
|
@ -621,8 +621,9 @@ elif os.name == 'posix':
|
|||
LINUX_X64=True
|
||||
else:
|
||||
LINUX_X64=False
|
||||
|
||||
|
||||
if os.uname()[4] == 'arm64':
|
||||
if os.name == 'posix' and os.uname()[4] == 'arm64':
|
||||
IS_ARCH_ARM64 = True
|
||||
|
||||
|
||||
|
|
Loading…
Reference in a new issue