Open achou11 opened 3 weeks ago
For additional context, I have no problem with building from source, but for programming languages I like to use a proper version manager tool. In my case, I'm using mise and was attempting to install c3 using https://github.com/RobLoach/asdf-c3. While the asdf plugin could be updated to build from source in my specific case, it's definitely more convenient if a prebuilt binary is already provided.
Yes, that's planned. Using brew like we do now is broken anyway, since it adds dependencies on having z3 installed through Homebrew(!!!) on LLVM 18. The Homebrew install for LLVM 19 is utterly broken. So the plan is to have a CI building LLVM, and then this can be used to link with C3 and we can build for both Intel and Aarch64
I'm working on an Intel-based macOS machine. Took a look at the the installation docs and seems like if I want to use c3c, I'll have to build from source. I'm guessing this was a deliberate choice (which is understandable), but wanted to write up this issue in case others come across the same question.
Wondering if there's any interest in providing a prebuild for those of us still stuck on macOS x64 😄 Thanks!