...
https://github.com/espressif/arduino-esp32/tree/idf-release/v4.0


Thanks! it seems to be working :

#include <Arduino.h>

void setup() {
Serial.begin(115200);
Serial.println("__GNUC__ = "+String(__GNUC__)+"."+String(__GNUC_MINOR__)); // got __GNUC__ = 8.2
};
void loop(){};

Hi, I noticed that the latest Arduino Core for ESP32 (1.0.4) has a very old GCC 5.2. Could anyone please tell me how to update it to 7.x or 8.x ? Thank you!

Unfortunately it doesn't help :

trying on Windows10 stable esp-idf v3.3
ADF_PATH = C:\Users\myUsername\Desktop\esp-adf
IDF_PATH = C:\Users\myUsername\Desktop\esp-adf\esp-idf
getting the same error as proggi_DE

meanwhile on Debian9 stable esp-idf v3.3 it's working with default PATHs:
ADF_PATH ...