I’m confused about the current state of ESP32 support. I see there’s been a recent update of the ESP32 platform ( great, no problem with that ). I’ve installed that update. It says it contains ESP32 IDF 3.3.
I’m keen to get a recent toolchain update that Expressif made, which switches the version of gcc from 5.2 to 8, because otherwise I have to put workarounds in my code to use some std functions. They also fix a number of other issues.
It appears that the ESP32 platform update did not update the toolchain, because I still need the workaround to use std::to_string().
So I would like to know a couple of things. Firstly, how can I verify the status/version of the current ESP32 toolchain that platformIO is using ? Secondly, can I somehow independently update that toolchain to the latest version from Espressif git ?