Como corrigir erro fatal do ESP-IDF: esp_timer.h: No such file or directory

Problema

Ao compilar um projeto ESP-IDF, você pode encontrar o seguinte erro:

esp_timer_error_log.txt

/home/uli/myproject/main/src/ADC.cpp:17:10: fatal error: esp_timer.h: No such file or directory
   17 | #include <esp_timer.h>
      |          ^~~~~~~~~~~~~
compilation terminated.

Solução

Para resolver este problema, você precisa garantir que o componente esp_timer esteja incluído em seu projeto. Isso pode ser feito modificando seu arquivo CMakeLists.txt no diretório main para incluir o componente esp_timer como um requisito:

idf_component_register_esp_timer.cmake

# ...
idf_component_register(
  # ...
  REQUIRES esp_timer
)

Caso já exista uma linha REQUIRES, simplesmente adicione esp_timer à lista de componentes necessários (separados por espaços).