mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

Put in workaround to rename manylinux_arm64 to manylinux_aarch64 (#7149)

Browse source
This commit is contained in:
Steven Moy 2024-03-05 13:38:12 -08:00 committed by GitHub
parent d6f522e205
commit e8c8d8aa7d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 8 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
src/api/python/setup.py
View file

@ -298,7 +298,14 @@ if 'bdist_wheel' in sys.argv and '--plat-name' not in sys.argv:
if arch == 'x64': if arch == 'x64':
plat_name = 'manylinux2014_x86_64' plat_name = 'manylinux2014_x86_64'
elif arch == 'arm64': elif arch == 'arm64':
plat_name = 'manylinux2014_arm64' # context on why are we match on arm64
# but use aarch64 on the plat_name is
# due to a workaround current python
# legacy build doesn't support aarch64
# so using the currently supported arm64
# build and simply rename it to aarch64
# see full context on #7148
plat_name = 'manylinux2014_aarch64'
else: else:
plat_name = 'manylinux2014_i686' plat_name = 'manylinux2014_i686'
elif distos == 'linux' and os_id == 'alpine': elif distos == 'linux' and os_id == 'alpine':