mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-27 08:28:44 +00:00
Code Activity

#7605

Browse source 
add case for linux/risc64
This commit is contained in:
Nikolaj Bjorner 2025-04-05 12:07:46 -07:00
parent a39efbb008
commit e7ff6009a0
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

@ -303,6 +303,7 @@ class bdist_wheel(_bdist_wheel):
# linux tags cannot be deployed - they must be auditwheel'd to pick the right compatibility tag based on imported libc symbol versions # linux tags cannot be deployed - they must be auditwheel'd to pick the right compatibility tag based on imported libc symbol versions
("linux", "x86_64"): "linux_x86_64", ("linux", "x86_64"): "linux_x86_64",
("linux", "aarch64"): "linux_aarch64", ("linux", "aarch64"): "linux_aarch64",
('linux', "riscv64"): "linux_riscv64",
# 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",