I'm not sure how this fact helps in fixing the problem that SOC_GPIO_PIN_COUNT is not defined.

Yes, but be careful. I just found out that "soc/soc_caps.h" is ambiguous:

1) in the arduino component
<projectfolder>/components/arduino/tools/sdk/esp32/include/soc/esp32/include/soc/soc_caps.h
(Here SOC_GPIO_PIN_COUNT is defined)

2) in esp-idf
/esp-idf/components/soc/soc/esp32/include/soc/soc ...

Hello!

I'm using Ubuntu and fighting with the exact same issue since a few days. Trying out several different combinations of branches for esp-idf and arduino-esp32. Currently it's the both on version 4.2 (release/v4.2, idf-release/v4.2) and the build results in:


In file included from ...