From 523a3f34b09adebabf9f4a830d78dd007d04cd2a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 19 Jan 2023 17:27:07 -0800 Subject: [PATCH] change to manylinux2014 in setup.py Signed-off-by: Nikolaj Bjorner --- src/api/python/setup.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/api/python/setup.py b/src/api/python/setup.py index f78963344..81c472232 100644 --- a/src/api/python/setup.py +++ b/src/api/python/setup.py @@ -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 = 'manylinux1_' + platform.machine() + plat_name = 'manylinux2014_' + platform.machine() elif 'mingw' in name: if platform.architecture()[0] == '64bit': plat_name = 'win_amd64' @@ -296,9 +296,9 @@ if 'bdist_wheel' in sys.argv and '--plat-name' not in sys.argv: ) elif distos == 'glibc': if arch == 'x64': - plat_name = 'manylinux1_x86_64' + plat_name = 'manylinux2014_x86_64' else: - plat_name = 'manylinux1_i686' + plat_name = 'manylinux2014_i686' elif distos == 'linux' and os_id == 'alpine': if arch == 'x64': plat_name = 'musllinux_1_1_x86_64'