mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-31 19:52:29 +00:00
Code Activity

kludge to address #7232, probably superseeded by planned revision to setup/pypi

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2024-07-08 16:54:09 -07:00
parent fd95a0c90c
commit d24cf68a54
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -277,7 +277,7 @@ if 'bdist_wheel' in sys.argv and '--plat-name' not in sys.argv:
# linux builds should be built in the centos 5 vm for maximum compatibility
# see https://github.com/pypa/manylinux
# see also https://github.com/angr/angr-dev/blob/master/admin/bdist.py
plat_name = 'manylinux2014_' + platform.machine()
plat_name = 'manylinux_2_28_' + platform.machine()
elif 'mingw' in name:
if platform.architecture()[0] == '64bit':
plat_name = 'win_amd64'
@ -296,7 +296,7 @@ if 'bdist_wheel' in sys.argv and '--plat-name' not in sys.argv:
)
elif distos == 'glibc':
if arch == 'x64':
plat_name = 'manylinux2014_x86_64'
plat_name = 'manylinux_2_28_x86_64'
elif arch == 'arm64' or arch == 'aarch64':
# context on why are we match on arm64
# but use aarch64 on the plat_name is
@ -305,9 +305,9 @@ if 'bdist_wheel' in sys.argv and '--plat-name' not in sys.argv:
# so using the currently supported arm64
# build and simply rename it to aarch64
# see full context on #7148
plat_name = 'manylinux2014_aarch64'
plat_name = 'manylinux_2_28_aarch64'
else:
plat_name = 'manylinux2014_i686'
plat_name = 'manylinux_2_28_i686'
elif distos == 'linux' and os_id == 'alpine':
if arch == 'x64':
plat_name = 'musllinux_1_1_x86_64'