kludge to fixup osver in python for Mac

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Dec 8, 2023 · 6cd619d · 6cd619d
1 parent 4d1d067
commit 6cd619d
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/api/python/setup.py b/src/api/python/setup.py
@@ -313,6 +313,8 @@ def run(self):
             osver = RELEASE_METADATA[3]
             if osver.count('.') > 1:
                 osver = '.'.join(osver.split('.')[:2])
+            if osver.startswith("11"):
+                osver = "11_0"
             if arch == 'x64':
                 plat_name ='macosx_%s_x86_64' % osver.replace('.', '_')
             elif arch == 'arm64':