I recall this discussion and commit from last year about how gcc finds it’s SDK to use:
https://gcc.gnu.org/git/?p=gcc.git&a=commit;h=24ec3cc957c4181d8da9972cb2aa212a3e0cec1c <https://gcc.gnu.org/git/?p=gcc.git&a=commit;h=24ec3cc957c4181d8da9972cb2aa212a3e0cec1c> Notably, at this moment in time, if the SDKROOT is set to “/“ gcc will ignore it…. hah hah. Ken