Skip to content

fetch-configlet: support fetching arm64 assets#805

Merged
ee7 merged 1 commit intoexercism:mainfrom
ee7:fetch-configlet-arm64
Aug 22, 2023
Merged

fetch-configlet: support fetching arm64 assets#805
ee7 merged 1 commit intoexercism:mainfrom
ee7:fetch-configlet-arm64

Conversation

@ee7
Copy link
Copy Markdown
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 ee7 requested a review from ErikSchierboom as a code owner August 22, 2023 07:42
@ee7
Copy link
Copy Markdown
Member Author

ee7 commented Aug 22, 2023

CI failure should be resolved by #806.

@ee7
Copy link
Copy Markdown
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
@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.

2 participants