From 54d30f26f72ce62f5dcb5a5258f632f84858714f Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 10 Oct 2024 15:52:10 -0700 Subject: [PATCH] add _0 to platform tag for pypi Signed-off-by: Nikolaj Bjorner --- src/api/python/setup.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/python/setup.py b/src/api/python/setup.py index aac6d9943..c39cdd6b0 100644 --- a/src/api/python/setup.py +++ b/src/api/python/setup.py @@ -261,7 +261,7 @@ class bdist_wheel(_bdist_wheel): 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