Anton (Feb 24 2025 at 14:36): Anton (Feb 24 2025 at 14:36):I'd like to make a new alpha3 release because libz3 4.13 is no longer on homebrew, so everyone installing roc for the first time on macos will hit this issue.
So, planned breaking changes:
Anything else we should bundle in here?
Anton (Feb 24 2025 at 14:38):Instead of 0.0.0-alpha3-* I would also like to use alpha3-*, the 0.0.0 is not necessary in my opinion.
Anton (Feb 25 2025 at 18:03):I updated the CI machines so we can build releases on macos 13 and now you apparently no longer need to install z3.
I did a test with a roc release on a fresh macos 15 install and all I had to install was zstd, instead of llvm@18 z3, so that's nice :)
Brendan Hansknecht (Feb 25 2025 at 18:32):I wonder if they just install z3 with llvm now. I think it is a dep of llvm
Anton (Feb 25 2025 at 19:02):Homebrew currently installs llvm 18 with DLLVM_ENABLE_Z3_SOLVER=OFF so that may be the cause.
Brendan Hansknecht (Feb 25 2025 at 21:36):Nice
Last updated: Jul 26 2025 at 12:14 UTC