[DRAFT] Introducing new workflow: Building K from source in MacOS #3674
Conversation
|
@Robertorosmaninho see this issue for a fix for the issue you're seeing when building K here; the Homebrew formula is in general a pretty good source for the best way to build K from source on macOS. Let me know if I can help at all with this |
| # brew install direnv | ||
| # cp macos-envrc .envrc | ||
| # eval "$(direnv hook bash)" | ||
| # direnv allow . |
There was a problem hiding this comment.
Looks like you're reaching that conclusion, but direnv is not something I'd expect to see in CI - it's just a local developer convenience tool.
There was a problem hiding this comment.
Actually, I don't quite follow what you mean by
the Homebrew formula is in general a pretty good source for the best way to build K from source on macOS
Could you please elaborate on that?
There was a problem hiding this comment.
The code is here: https://github.com/kframework/homebrew-k/blob/master/Formula/kframework.rb
If you've not seen a Homebrew formula before, it's basically a Ruby DSL that allows you to specify dependencies and build steps for a package. We maintain one for K; if there are macOS-specific issues with the build then it's plausible that the Homebrew code has already dealt with it somehow
No description provided.