mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 14:13:23 +00:00
Code Activity

more arm

Browse source
This commit is contained in:
Nikolaj Bjorner 2022-04-08 14:07:56 +02:00
parent 79553261d1
commit cb6aba2315
2 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
scripts/mk_unix_dist.py
View file

@ -56,6 +56,7 @@ def display_help():
print(" -f, --force force script to regenerate Makefiles.")
print(" --nodotnet do not include .NET bindings in the binary distribution files.")
print(" --dotnet-key=<file> sign the .NET assembly with the private key in <file>.")
print(" --arch=<arch> set architecture (to arm64) to force arm64 build")
print(" --nojava do not include Java bindings in the binary distribution files.")
print(" --nopython do not include Python bindings in the binary distribution files.")
print(" --githash include git hash in the Zip file.")