add _0 to platform tag for pypi

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Oct 10, 2024 · 54d30f2 · 54d30f2
1 parent 6e3b99f
commit 54d30f2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/api/python/setup.py b/src/api/python/setup.py
@@ -261,7 +261,7 @@ def remove_build_machine_os_version(self, platform, os_version_tag):
         if platform in ["osx", "darwin", "sequoia"]:
             m = internal_build_re.search(os_version_tag)
             if m:
-                return m.group(1)
+                return m.group(1) + "_0"
         return os_version_tag