Toolchain Raspberry Pi host for ESP32?

[Cragjock]

Hello,

I am trying to find the ESP32 toolchain for Arduino 1.8.5 to be used on a Rapsberry Pi 3b+ targeting the Adafuit ESP32 Feather Huzzah32 board. Following the Adafruit tutorial about adding the link under preferences to add the board package, it shows in the board manager etc. I hit the install, the error "Tool xtensa-esp32-elf-gcc is not available for your operating system."

I tried the build from scratch, but there are numerous compile errors and i cannot add the Adafruit ESP32, it shows the ESP32 module.

I saw a comment somewhere in this site that a ESP32 prebuilt tool chain for a Linux/Raspberry Pi Arm would be added/provided. I have not found it.

If it is available, would someone provide the link, please?

thanks,
sc