"hal/gpio_types.h: No such file or directory"

pschatzmann / arduino-audiokit

Arduino ADF/Audiokit HAL (support for ESP32-A1S, AI-Thinker, LyraT for ES7148, ES7210, ES7243, ES8311, ES8347, ES8388, TAS5805M, AC101 audio chips)

GNU General Public License v3.0

157 stars 42 forks source link

"hal/gpio_types.h: No such file or directory" #96

Closed musiq021 closed 1 year ago

musiq021 commented 1 year ago

With ESP32 Dev Module chosen, in Arduino IDE 1.8.15

pschatzmann commented 1 year ago

I can't reproduce your issue: Are you sure that you are using an actual ESP32 version ? If you check in your boards manager: the actual version is 2.0.9!

If this is not the cause of your issue you will need to describe exactly what you are doing so that I can try to reproduce your issue..

https://github.com/pschatzmann/arduino-audiokit/wiki/Frequently-Asked-Questions

musiq021 commented 1 year ago

Yes, there was some strange disconnect with the ESP support installation. Removing and reinstalling fixed. Thank you.