drew (Oct 28 2023 at 13:25): drew (Oct 28 2023 at 13:25):Hi folks -- I downloaded the latest nightly and it errors on my m2 macbook air unless I install z3 via homebrew. This wasn't the case roughly a week ago.
Richard Feldman (Oct 28 2023 at 13:39):I think this is a requirement of the new llvm version we just upgraded to
Richard Feldman (Oct 28 2023 at 13:40):there must be a way to do a custom llvm build that statically links z3 so this doesn't happen, because zig also uses llvm and doesn't have this problem (and I know they build their own llvm from source) - @Anton I think we should raise the priority level of building our own llvm from source to "urgent" :sweat_smile:
Anton (Oct 28 2023 at 18:23)::+1: I'll get on that on monday
Last updated: Jul 06 2025 at 12:14 UTC