arc -> arch

Author: NikolajBjorner

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?")