ESP32 device/gptimer.h missing in PlatformIO

[ereuter]

When importing Mozzi into a PIO project with ESP32 as the platform, compilation fails with the following error:

In file included from .pio/libdeps/esp32dev/Mozzi/internal/MozziGuts.hpp:51,
from .pio/libdeps/esp32dev/Mozzi/MozziGuts.h:205,
from .pio/libdeps/esp32dev/Mozzi/Mozzi.h:33,
from src/main.cpp:24:
.pio/libdeps/esp32dev/Mozzi/internal/MozziGuts_impl_ESP32.hpp:146:10: fatal error: driver/gptimer.h: No such file or directory
#include <driver/gptimer.h>

[tomcombriat]

Hi,
Thanks for reporting this!
Most of us are using the Arduino ide, so the development is mostly done towards this environment, and short to no test are done on Pio (and personally I am not sure I can be of much help, maybe the other two will though).
That being said, it would be super to have Mozzi working straight away on Pio, so if you find the solution, please do not hesitate to post it here ;).

[ereuter]

I think I've found the answer in this post: https://community.platformio.org/t/arduino-esp32-timer-api/46574

Switching the platform in the platformio.ini from the default "espressif32" to this:
platform = https://github.com/pioarduino/platform-espressif32/releases/download/stable/platform-espressif32.zip

allows it to compile.