From a3f3abb8f246433bd44f4bf4d94172aff8798da8 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 15 Dec 2023 13:59:06 -0800 Subject: [PATCH] use suggestion from #7047 Signed-off-by: Nikolaj Bjorner --- src/api/python/setup.py | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/src/api/python/setup.py b/src/api/python/setup.py index 325fb4230..95f717c75 100644 --- a/src/api/python/setup.py +++ b/src/api/python/setup.py @@ -313,12 +313,11 @@ if 'bdist_wheel' in sys.argv and '--plat-name' not in sys.argv: osver = RELEASE_METADATA[3] if osver.count('.') > 1: osver = '.'.join(osver.split('.')[:2]) - if osver.startswith("11"): - osver = "11_0" + osver = osver.replace('.','_') if arch == 'x64': - plat_name ='macosx_%s_x86_64' % osver.replace('.', '_') + plat_name ='macosx_%s_x86_64' % re.sub(r'\A(1[1-9])(_[\d]+)*\Z', r'\1_0', osver) elif arch == 'arm64': - plat_name ='macosx_%s_arm64' % osver.replace('.', '_') + plat_name ='macosx_%s_arm64' % osver else: raise Exception(f"idk how os {distos} {osver} works. what goes here?") else: