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

fetch-configlet: support fetching arm64 assets #805

Merged
merged 1 commit into from Aug 22, 2023

Conversation

ee7
Copy link
Member

@ee7 ee7 commented Aug 22, 2023

The most recent configlet release includes pre-built binaries for:

Support arm64 in the bash fetch-configlet script.

Refs: #122
Follow-up from: #764 (comment)


I'll change the logic in this script in a later PR. I think we shouldn't hardcode the available binaries in the fetch scripts. Instead, we should try to download the configlet release for the user's machine, and error if the asset does not exist. Then we can add assets to the configlet releases without updating the fetch scripts on every track. That'll also make the fetch script support riscv64 Linux.

I suggest delaying the Exercism-wide PRs until we've done that.

The most recent configlet release includes pre-built binaries for:

- arm64 Linux [1]
- arm64 macOS [2]
- arm64 Windows [3]
- riscv64 Linux [4]

Support arm64 in the bash fetch-configlet script.

Refs: 122

[1] 0e8d665, 2023-08-16, ".github, config: use Zig to cross-compile arm64 Linux asset"
[2] f280445, 2023-08-17, ".github: cross-compile arm64 macOS asset"
[3] 3824299, 2023-08-18, ".github, cli, completion: cross-compile arm64 Windows asset"
[4] a962b18, 2023-08-17, ".github: cross-compile riscv64 Linux asset"
@ee7
Copy link
Member Author

ee7 commented Aug 22, 2023

CI failure should be resolved by #806.

@ee7
Copy link
Member Author

ee7 commented Aug 22, 2023

@ErikSchierboom I'll leave updating the PowerShell script to you. But let's do that in a separate PR.

Currently:

$arch = If ([Environment]::Is64BitOperatingSystem) { "x86-64" } Else { "i386" }
$fileName = "configlet_.+_windows_$arch.zip"

I think it should also probably have the same logic change that I suggest in the top post. But it's less important.

I suspect that we don't have a huge number of non-Windows PowerShell users, but we could consider resolving #361 at the same time.

@ee7 ee7 merged commit 98095a5 into exercism:main Aug 22, 2023
10 checks passed
@ee7 ee7 deleted the fetch-configlet-arm64 branch August 22, 2023 11:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants