For this we have created a wiki entry to cover all the steps of setting up the ESP32 Toolchain. Setting up ESP32 Toolchain