RobH

Maybe not very helpful, but I have the same experience. No 'st7789' module shows up with help('modules'). Linux Mint 20.1, IDF4

With this suggested workaround compilation succeeded and firmware works, thanks.