mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-04 05:19:11 +00:00
Code Activity

change to manylinux2014 in setup.py

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2023-01-19 17:27:07 -08:00
parent 59c41bd8ce
commit 523a3f34b0
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
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 = 'manylinux1_' + platform.machine() plat_name = 'manylinux2014_' + 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,9 +296,9 @@ 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 = 'manylinux1_x86_64' plat_name = 'manylinux2014_x86_64'
else: else:
plat_name = 'manylinux1_i686' plat_name = 'manylinux2014_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'