Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix macOS CI build #1747

Merged
merged 1 commit into from
Jan 23, 2023
Merged

Fix macOS CI build #1747

merged 1 commit into from
Jan 23, 2023

Conversation

paulcadman
Copy link
Collaborator

We need to use the homebrew Clang/LLVM installation to build the Juvix runtime because macOS ships with a version of Clang/LLVM that does not support the wasi target.

The GitHub action runner agent has the homebrew packaged Clang/LLVM installed but it is not on the shell PATH.

We were using brew --prefix llvm@14 to point to the homebrew Clang/LLVM installation. However this breaks when the runner image is updated to a new version of llvm.

So we switch to using brew --prefix llvm which will resolve to the latest (and in this case only) version of homebrew Clang/LLVM. This will be stable when Clang/LLVM is updated to a new version.

We need to use the homebrew Clang/LLVM installation to build the Juvix
runtime because macOS ships with a version of Clang/LLVM that does not
support the wasi target.

The GitHub action runner agent has the homebrew packaged Clang/LLVM
installed but it is not on the shell PATH.

We were using `brew --prefix llvm@14` to point to the homebrew
Clang/LLVM installation. However this breaks when the runner image is
updated to a new version of llvm.

So we switch to using `brew --prefix llvm` which will resolve to the
latest (and in this case only) version of homebrew Clang/LLVM. This will
be stable when Clang/LLVM is updated to a new version.
@paulcadman paulcadman added this to the 0.2.9 milestone Jan 23, 2023
@paulcadman paulcadman self-assigned this Jan 23, 2023
@jonaprieto jonaprieto self-requested a review January 23, 2023 10:00
@jonaprieto jonaprieto merged commit b00d4b2 into main Jan 23, 2023
@jonaprieto jonaprieto deleted the macos-ci-fix branch January 23, 2023 10:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants