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

Restore macOS CI build/test #1657

Merged
merged 1 commit into from
Dec 8, 2022
Merged

Restore macOS CI build/test #1657

merged 1 commit into from
Dec 8, 2022

Conversation

paulcadman
Copy link
Collaborator

The key to get this working was to use the installation of LLVM that's already present on the macOS agent, available at $(brew --prefix llvm@14)/bin. The LLVM installed by the install-llvm-action appears to be broken for macOS.

Other changes:

  • The libclang_rt.builtins-wasm32-wasi installation is not required for newer LLVM versions, so I've removed this.
  • Use runner.os instead of matrix.os to detect OS. runner.os is more stable, it doesn't change when the os image version is updated.

You can see this workflow working on my fork: https://github.com/paulcadman/juvix/actions/runs/3649359942/jobs/6163954524

@paulcadman paulcadman added the CI label Dec 8, 2022
@paulcadman paulcadman added this to the 0.2.8 milestone Dec 8, 2022
@paulcadman paulcadman self-assigned this Dec 8, 2022
The key to get this working was to use the installation of LLVM that's
already present on the macOS agent, available at `$(brew --prefix
llvm@14)/bin`. The LLVM installed by the `install-llvm-action` appears
to be broken for macOS.

Other changes:

- The libclang_rt.builtins-wasm32-wasi installation is not required for
newer LLVM versions, so I've removed this.
- Use `runner.os` instead of `matrix.os` to detect OS. `runner.os` is
more stable, it doesn't change when the os image version is updated.
@jonaprieto jonaprieto merged commit f4f56b4 into main Dec 8, 2022
@jonaprieto jonaprieto deleted the macos-ci branch December 8, 2022 16:51
janmasrovira pushed a commit that referenced this pull request Dec 15, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants