Hi Rita, interesting post. Have you tried building the ESP32 toolchain on macOS directly? I have been using MicroPython with ESP8266 (precursor to the ESP32) and have really enjoyed playing around with it. I have also tried the Particle Photon and both of their firmwares can be built on macOS. Here’s my experience with Particle Photon: https://www.dineshjoshi.com/2017/07/offline-toolchain-particle-photon-electron/
I will write up more on the ESP8266 shortly.