zig mac m1 brew install problem

[swuecho]

Zig Version

0.10

Steps to Reproduce and Observed Behavior

➜  ~ brew install zig
Warning: zig 0.10.0 is already installed and up-to-date.
To reinstall 0.10.0, run:
  brew reinstall zig
➜  ~ zig version
dyld[20589]: Library not loaded: '/opt/homebrew/opt/z3/lib/libz3.4.11.dylib'
  Referenced from: '/opt/homebrew/Cellar/zig/0.10.0/bin/zig'
  Reason: tried: '/opt/homebrew/opt/z3/lib/libz3.4.11.dylib' (no such file), '/usr/local/lib/libz3.4.11.dylib' (no such file), '/usr/lib/libz3.4.11.dylib' (no such file), '/opt/homebrew/Cellar/z3/4.11.2/lib/libz3.4.11.dylib' (no such file), '/usr/local/lib/libz3.4.11.dylib' (no such file), '/usr/lib/libz3.4.11.dylib' (no such file)
[1]    20589 abort      zig version

not directly related to zig core, but not sure where to report.

Expected Behavior

zig version should not crash

[andrewrk]

Is there a corresponding homebrew bug report? Looks like a problem with the homebrew package not handling LLVM's optional z3 dependency correctly.

[Benricheson101]

As suggested in Homebrew/homebrew-core#114382 (comment), running brew reinstall z3 worked for me.

[andrewrk]

Alright if downstream does not consider it to be a bug then we don't either :-)