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?
Instead of 0.0.0-alpha3-*
I would also like to use alpha3-*
, the 0.0.0 is not necessary in my opinion.
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 :)
I wonder if they just install z3 with llvm now. I think it is a dep of llvm
Homebrew currently installs llvm 18 with DLLVM_ENABLE_Z3_SOLVER=OFF
so that may be the cause.
Nice
Last updated: Jul 06 2025 at 12:14 UTC