From 620efbb67b6c43457620daebcce7faac92baaa26 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 6 Mar 2024 13:53:43 -0800 Subject: [PATCH] add aacrhc Signed-off-by: Nikolaj Bjorner --- src/api/python/setup.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/python/setup.py b/src/api/python/setup.py index bc0acead8d4..5faf5aad17a 100644 --- a/src/api/python/setup.py +++ b/src/api/python/setup.py @@ -297,7 +297,7 @@ def run(self): elif distos == 'glibc': if arch == 'x64': plat_name = 'manylinux2014_x86_64' - elif arch == 'arm64': + elif arch == 'arm64' or arch == 'aarch64': # context on why are we match on arm64 # but use aarch64 on the plat_name is # due to a workaround current python