mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 04:03:39 +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 af1f0e3184
commit 374609bd46
1 changed files with 4 additions and 4 deletions
Show stats 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 # linux builds should be built in the centos 5 vm for maximum compatibility
# see https://github.com/pypa/manylinux # see https://github.com/pypa/manylinux
# see also https://github.com/angr/angr-dev/blob/master/admin/bdist.py # 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: elif 'mingw' in name:
if platform.architecture()[0] == '64bit': if platform.architecture()[0] == '64bit':
plat_name = 'win_amd64' plat_name = 'win_amd64'
@ -296,7 +296,7 @@ if 'bdist_wheel' in sys.argv and '--plat-name' not in sys.argv:
) )
elif distos == 'glibc': elif distos == 'glibc':
if arch == 'x64': if arch == 'x64':
plat_name = 'manylinux2014_x86_64' plat_name = 'manylinux_2_28_x86_64'
elif arch == 'arm64' or arch == 'aarch64': elif arch == 'arm64' or arch == 'aarch64':
# context on why are we match on arm64 # context on why are we match on arm64
# but use aarch64 on the plat_name is # 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 # so using the currently supported arm64
# build and simply rename it to aarch64 # build and simply rename it to aarch64
# see full context on #7148 # see full context on #7148
plat_name = 'manylinux2014_aarch64' plat_name = 'manylinux_2_28_aarch64'
else: else:
plat_name = 'manylinux2014_i686' plat_name = 'manylinux_2_28_i686'
elif distos == 'linux' and os_id == 'alpine': elif distos == 'linux' and os_id == 'alpine':
if arch == 'x64': if arch == 'x64':
plat_name = 'musllinux_1_1_x86_64' plat_name = 'musllinux_1_1_x86_64'