ESP-IDF examples in the documentation do no longer compile.

[Koepel]

The examples in the documentation do no longer compile: https://docs.wokwi.com/guides/esp32#esp-idf-examples
They can run the pre-compiled binary, but they do no longer compile. The problem is: "multiple definition of app_main".

The first three have a ino file and no attribute "builder": "esp-idf".
The fourth example has a main.c file, but no attribute either.

[urish]

Thanks for reporting! Probably a regression introduced in the Arduino core for ESP32 v3.0.0.

The proper solution would be to migrate these examples to use the "esp-idf" builder

[OsvaldoTCF]

The examples were created when the C++ codes worked for IDF esp.

When we make the change specifying this, in the new standard, adding " { "builder": "esp-idf" }", the example breaks!

[urish]

It wasn't C++ working with the "esp-idf" builder, as the examples used the standard Arduino builder.

[urish]

Examples migrated!