I have already followed all the guidelines described in the installation page of ESP32 library for Arduino from Github, but the boards aren't listed in the IDE. Apparently everything is installed correctly, no errors.
Has anyone noticed this problem and solved?
Did you restart the Arduino IDE after installing the EPS32 package? You need to close all IDE windows and then start the IDE.
Yes. Even I even rebooted computer to have no doubts. I reinstalled the library three times.
Is your sketchbook folder located inside your OneDrive?
pert:
Is your sketchbook folder located inside your OneDrive?
Hi pert
Why are you raising this question?
I have my sketchbook folder located inside Dropbox, can it generate potential problems with ESP32??
TIA
The Arduino IDE has problems compiling with files on OneDrive but I've never seen that affect hardware packages and thinking about it more I don't think it would.
Please provide a directory listing or screenshot of the hardware subfolder of your sketchbook folder showing the contents of the espressif subfolder.
Pert,
Is your sketchbook folder located inside your OneDrive?
No.
But, after reading your question your question I remembered that I had changed the default directory of "Sketchbook Location" and so IDE couldn't find the new library in its standard Sketchbook. After returning to the default directory, the ESP32 board was listed in "Tools -> Boards" menu.
Thank you for your help.