MacOS Mirai errors - Githubissues

facebookexperimental / MIRAI

Rust mid-level IR Abstract Interpreter

MIT License

1k stars 86 forks source link

MacOS Mirai errors #1248

Open sa6ta6ni6c opened 11 months ago

sa6ta6ni6c commented 11 months ago

Issue

error_log.txt

Steps to Reproduce

cargo mirai --target=x86_64-pc-windows-gnu (cross compilation to windows on MacOS

Environment

Rust version (rustc --version) rustc 1.73.0 (cc66ad468 2023-10-03) MacOS Air M1 2020

hermanventer commented 10 months ago

All my own attempts at Rust cross compilation have been failures so far. When you figure this out, please let me know how. I think z3-sys is the root cause in this instance.