A new arm gcc for mrp that is less than 100MB, recommend you to use #3
Description
I think you should use arduino arm gcc compiler, normally you can get those tools from arduino install folder.
It is cross platform, you can install windows or linux version.
Why I think arduino_gcc is a good solution? Well, because some of the microcontroller are arm_based, and arduino clearly can compile c or c++ code for those chip, that is why I think it should work.
And normally arduino install package is less than 200MB, which is far smaller than 1.8 GB linux arm gcc.