From 005b8e3cf85d00dd7360d901580aba9925725c56 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 9 Apr 2022 08:28:22 +0200 Subject: [PATCH] arc -> arch --- 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 796f30e6b8b..1b455bb56f2 100644 --- a/src/api/python/setup.py +++ b/src/api/python/setup.py @@ -281,7 +281,7 @@ def run(self): osver = '.'.join(osver.split('.')[:2]) if arch == 'x64': plat_name ='macosx_%s_x86_64' % osver.replace('.', '_') - elif arc == 'arm64': + elif arch == 'arm64': plat_name ='macosx_%s_arm64' % osver.replace('.', '_') else: raise Exception(f"idk how os {distos} {osver} works. what goes here?")