mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-04-27 22:33:35 +00:00
Code Activity

add tag for linux/loongarch64 (#9184)

Browse source
This commit is contained in:
Yanjun Yang(Pluto) 2026-03-31 23:57:20 +08:00 • committed by GitHub
parent 1ec07ac5e9
commit ba77141b51
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -313,6 +313,7 @@ class bdist_wheel(_bdist_wheel):
("linux", "x86_64"): "linux_x86_64", ("linux", "x86_64"): "linux_x86_64",
("linux", "aarch64"): "linux_aarch64", ("linux", "aarch64"): "linux_aarch64",
('linux', "riscv64"): "linux_riscv64", ('linux', "riscv64"): "linux_riscv64",
("linux", "loongarch64"): "linux_loongarch64",
# windows arm64 is not supported by pypi yet # windows arm64 is not supported by pypi yet
("win", "x64"): "win_amd64", ("win", "x64"): "win_amd64",
("win", "x86"): "win32", ("win", "x86"): "win32",