From febe471ea45cc2b2793e10a0c03d499505f9fbd9 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 14 Jul 2026 14:10:36 -0700 Subject: [PATCH] put tag back in --- src/api/python/setup.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/api/python/setup.py b/src/api/python/setup.py index bdf1370270..d02cd39787 100644 --- a/src/api/python/setup.py +++ b/src/api/python/setup.py @@ -343,10 +343,10 @@ class bdist_wheel(_bdist_wheel): ("osx", "arm64"): f"macosx_{os_version_tag}_arm64", ("darwin", "x86_64"): f"macosx_{os_version_tag}_x86_64", ("darwin", "x64"): f"macosx_{os_version_tag}_x86_64", - ("darwin", "arm64"): f"macosx_{os_version_0}_arm64", + ("darwin", "arm64"): f"macosx_{os_version_tag}_arm64", ("sequoia", "x64"): f"macosx_{os_version_tag}_x86_64", ("sequoia", "x86_64"): f"macosx_{os_version_tag}_x86_64", - ("sequoia", "arm64"): f"macosx_{os_version_0}_arm64", + ("sequoia", "arm64"): f"macosx_{os_version_tag}_arm64", ("emscripten", "wasm32"): f"emscripten_{os_version_tag}_wasm32", } # type: dict[tuple[str, str], str] self.plat_name = TAGS[(BUILD_PLATFORM, BUILD_ARCH)]