Regrets in advance for rudimentary nature of q. Did research but can't find specific answer yet.
I've been using Arduino with stock boards for several years now.
Today I got an esp32 and trying to get going.
Up to date with all updates on MacOS High Sierra.
Up to date with Arduino 1.8.5.
Followed these instructions precisely, with Arduino not running.
https://github.com/espressif/arduino-esp32/blob/master/docs/arduino-ide/mac.md
No errors installing. After restart, Arduino reports:
Could not find boards.txt in /Users/rozzie/Documents/Arduino/hardware/esp32/tools. Is it pre-1.5?
Could not find boards.txt in /Users/rozzie/Documents/Arduino/hardware/esp32/variants. Is it pre-1.5?
Could not find boards.txt in /Users/rozzie/Documents/Arduino/hardware/esp32/libraries. Is it pre-1.5?
Could not find boards.txt in /Users/rozzie/Documents/Arduino/hardware/esp32/docs. Is it pre-1.5?
Could not find boards.txt in /Users/rozzie/Documents/Arduino/hardware/esp32/package. Is it pre-1.5?
Could not find boards.txt in /Users/rozzie/Documents/Arduino/hardware/esp32/cores. Is it pre-1.5?
WARNING: Error loading hardware folder /Users/rozzie/Documents/Arduino/hardware/esp32
No valid hardware definitions found in folder esp32.
WARNING: Error loading hardware folder /Users/rozzie/Documents/Arduino/hardware/espressif
No valid hardware definitions found in folder espressif.
There is clearly a boards.txt in ~/Documents/Arduino/hardware/esp32, but the IDE doesn't seem to like it or whatever is within that folder hierarchy.
Guidance appreciated.