[scripts] Introduce scripts/fetch-toolchains.py

This change introduces $LK_ROOT/toolchain as an official installation directory for toolchains, as well as a new script for conveniently installing them there (versus manual GETs + untarring). getting_started.md is updated to suggest its use.
2024-08-10 19:14:36 -07:00
parent 6f24850de8
commit 1b2c449ceb
3 changed files with 230 additions and 10 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -16,3 +16,4 @@ scripts/toolpaths.local
 .vscode
 .cache
 compile_commands.json
+toolchain