Giters

facebookexperimental / MIRAI

Rust mid-level IR Abstract Interpreter

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

MacOS Mirai errors

sa6ta6ni6c opened this issue · comments

commented

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

commented

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.