mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-09-07 02:11:08 +00:00
Code Activity

Put in workaround to rename manylinux_arm64 to manylinux_aarch64

Browse source
This commit is contained in:
Steven Moy 2024-03-05 13:35:13 -08:00
parent d6f522e205
commit 7aaa5a8da2
1 changed files with 8 additions and 1 deletions
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':