New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Z3 4.8.5 fails to build on ARM macs #2828

Closed

h0wk-b1rd13 opened this issue Feb 11, 2023 · 0 comments · Fixed by #3631

h0wk-b1rd13 commented Feb 11, 2023 •

edited

Loading

When I install fstar with "opam install fstar" in Mac, build fails for z3 4.8.5.
can you give me some advice?
thank you!

P.S. Working on Mac with M1 chip.

gebner changed the title ~~Z3 4.8.5~~ Z3 4.8.5 fails to build on ARM macs

gebner mentioned this issue

Z3 4.8.5 segfaults on aarch64 linux #3476

Closed

gebner mentioned this issue

Upgrade F* to use Z3 4.13.3 #3631

Merged

mtzguido closed this as completed in #3631

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment