mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-07-15 03:25:43 +00:00
Code Activity

put tag back in

Browse source
This commit is contained in:
Nikolaj Bjorner 2026-07-14 14:10:36 -07:00
parent 24bde17501
commit febe471ea4
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/api/python/setup.py
View file

@ -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)]