diff options
| author | William Boman <william@redwill.se> | 2022-11-30 03:47:55 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-30 03:47:55 +0100 |
| commit | 175408f0ae1361f2be1cf716f03912b646228c80 (patch) | |
| tree | ce805207c163cfe31c3a60c1591c368e46f6f4b6 /lua | |
| parent | feat(ui): add keybind on section headers for cancelling installation of the e... (diff) | |
| download | mason-175408f0ae1361f2be1cf716f03912b646228c80.tar mason-175408f0ae1361f2be1cf716f03912b646228c80.tar.gz mason-175408f0ae1361f2be1cf716f03912b646228c80.tar.bz2 mason-175408f0ae1361f2be1cf716f03912b646228c80.tar.lz mason-175408f0ae1361f2be1cf716f03912b646228c80.tar.xz mason-175408f0ae1361f2be1cf716f03912b646228c80.tar.zst mason-175408f0ae1361f2be1cf716f03912b646228c80.zip | |
fix(tectonic): pin version (#708)
This is far from ideal. This is needed because the repository hosts
multiple different projects. The current mechanism to resolve the
"latest" release is not compatible with this and may end up selecting a
release for a different project.
Closes #544.
Diffstat (limited to 'lua')
| -rw-r--r-- | lua/mason-registry/tectonic/init.lua | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/lua/mason-registry/tectonic/init.lua b/lua/mason-registry/tectonic/init.lua index 2a3e05ff..a35a7fdf 100644 --- a/lua/mason-registry/tectonic/init.lua +++ b/lua/mason-registry/tectonic/init.lua @@ -3,6 +3,7 @@ local platform = require "mason-core.platform" local _ = require "mason-core.functional" local github = require "mason-core.managers.github" local std = require "mason-core.managers.std" +local Optional = require "mason-core.optional" local coalesce, when = _.coalesce, _.when @@ -25,14 +26,16 @@ return Pkg.new { github .untargz_release_file({ repo = repo, + version = Optional.of "tectonic@0.12.0", asset_file = coalesce( - when(platform.is.mac, format_release_file "tectonic-%s-x86_64-apple-darwin.tar.gz"), + when(platform.is.mac_x64, format_release_file "tectonic-%s-x86_64-apple-darwin.tar.gz"), + when(platform.is.mac_arm64, format_release_file "tectonic-%s-aarch64-apple-darwin.tar.gz"), when( platform.is.linux_x64_gnu, format_release_file "tectonic-%s-x86_64-unknown-linux-gnu.tar.gz" ), when( - platform.is.linux_x64_musl, + platform.is.linux_x64, format_release_file "tectonic-%s-x86_64-unknown-linux-musl.tar.gz" ), when( |