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.
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
[Building MIRAI] wrapper.h:1:10: fatal error: 'z3.h' file not found #1157
Comments
I believe this problem is already fixed on https://github.com/hermanventer/MIRAI, which should now be regarded as the source of truth for MIRAI since no-one at Meta seems interested in merging pull requests into this repo. |
@hermanventer I tried with your fork and I got the same error. It worked for me when I added the path of
|
Could you append a full log of a session where you follow the installation instructions and it fails? |
@hermanventer This are the steps I followed:
Then:
|
From InstallationGuide.md: For macOS the binary will have to be placed somewhere where it can be found and dynamically loaded by the Rust runtime. On an Intel Mac, do sudo cp binaries/libz3.dylib /usr/local/lib
sudo cp include/*.h /usr/local/include |
Makes sense. I did copied the library but not the include files because is not in the instructions :-) |
Hi, where would I need to place the files on an ARM Mac? |
This step is no longer required. You can just build MIRAI. See the current installation guide. |
Hi @hermanventer, I'm installing the |
Z3 is now statically linked into MIRAI, so there is no dependency or interference from any other Z3 package you may have. |
Issue
Run
cargo install --locked --path ./checker
failed due toCaused by
Steps to Reproduce
manually copy succeeded, replaced the original
libz3.dylib
in/usr/local/lib
6. cargo install --locked --path ./checker
Expected Behavior
Successful build of MIRAI
Actual Results
Panic
Environment
macOS Monterey v12.3.1, Intel processor.
Rust version: rustc 1.63.0-nightly (4c5f6e627 2022-05-17)
The text was updated successfully, but these errors were encountered: