ESP32 fatal error: Arduino.h (Led Matrix 64x64)

Yes, you are right! I use Espruino for all other functions.
I could use the Graphics Library and build my own driver, but first I want to try It with smartmatrix. It is an awesome libraray with all the function I need.

At the moment I face the problem, that I need the Arduino.h file for the library to work. I fixed the conflicting types error by using the arduino-esp32 builder. But I think, I am not doing It right.
The firmware make crashes with:

fatal error: Arduino.h: No such file or directory

Where do I have to include the Arduino Drivers? I used this tutorial:

https://github.com/espruino/Espruino/tre­e/master/targets/esp32