filestash
filestash copied to clipboard
Choose tinytex's tlmgr for the platform that docker builds on
I wasn't able to build on the aarch64 platform, so I looked at the Docker files and found that I could change the tlmgr to a platform-specific directory name using uname -m to select the binaries.
The CI currently in use does not appear to be written to be multiplatform using buildx, but this slight modification should allow us to build on aarch64 temporarily.
Check out the submitted commit, and if it's good, confirm it.
I have verified that it builds fine Tested on WSL in Windows 11 and Arm instance of Oracle Cloud.