The Linux getting started documentation seems to assume you are building from source. If you have downloaded the binary you don’t get SetupToolchain.sh because the binary includes a bundled toolchain.
4 Likes