Stream: contributing

Topic: alpha3 release


view this post on Zulip 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?

view this post on Zulip 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.

view this post on Zulip 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 :)

view this post on Zulip 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

view this post on Zulip Anton (Feb 25 2025 at 19:02):

Homebrew currently installs llvm 18 with DLLVM_ENABLE_Z3_SOLVER=OFF so that may be the cause.

view this post on Zulip Brendan Hansknecht (Feb 25 2025 at 21:36):

Nice


Last updated: Jul 06 2025 at 12:14 UTC