Skip to content
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

Support get_fstar_z3.sh on macos #3646

Merged
merged 2 commits into from
Dec 26, 2024
Merged

Support get_fstar_z3.sh on macos #3646

merged 2 commits into from
Dec 26, 2024

Conversation

gebner
Copy link
Contributor

@gebner gebner commented Dec 26, 2024 •
edited
Loading

Alternative to #3645. cc @msprotz @mtzguido

@gebner gebner mentioned this pull request Dec 26, 2024
Merged
@gebner
Copy link
Contributor Author

gebner commented Dec 26, 2024

I have tested the script now on macos and debian/aarch64. The emulation works in both cases (although you need to install a few libraries on linux: apt install libc6:amd64 libstdc++6:amd64 libgomp1:amd64)

@msprotz
Copy link
Collaborator

msprotz commented Dec 26, 2024

does this work via qemu on debian?

@gebner
Copy link
Contributor Author

gebner commented Dec 26, 2024

does this work via qemu on debian?

Yes!

$ uname -a
Linux 9f19df0e32e6 6.12.6-100.fc40.aarch64 #1 SMP PREEMPT_DYNAMIC Thu Dec 19 23:43:47 UTC 2024 aarch64 GNU/Linux
$ ./z3-4.8.5 --version
Z3 version 4.8.5 - 64 bit

@gebner gebner enabled auto-merge December 26, 2024 19:15
@gebner gebner merged commit a3be612 into master Dec 26, 2024
4 checks passed
@gebner gebner deleted the gebner_getz3_macos branch December 26, 2024 19:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@mtzguido mtzguido mtzguido approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@gebner @msprotz @mtzguido