From 6cd619d377d829a81249cef93279afebcd945b44 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 8 Dec 2023 11:39:55 -0800
Subject: [PATCH] kludge to fixup osver in python for Mac

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/python/setup.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/api/python/setup.py b/src/api/python/setup.py
index a20ff53a315..54992156ffc 100644
--- 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':