From 77a07bb791361ad9b0a2ba7106e429e96b9c3c59 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 4 Mar 2024 21:14:19 -0800 Subject: [PATCH] detect arm64 for manylinux setup Signed-off-by: Nikolaj Bjorner --- src/api/python/setup.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/api/python/setup.py b/src/api/python/setup.py index c3f65f84809..8a8a49dc5bc 100644 --- a/src/api/python/setup.py +++ b/src/api/python/setup.py @@ -297,6 +297,8 @@ def run(self): elif distos == 'glibc': if arch == 'x64': plat_name = 'manylinux2014_x86_64' + elif arch == 'arm64': + plat_name = 'manylinux2014_arm64' else: plat_name = 'manylinux2014_i686' elif distos == 'linux' and os_id == 'alpine':