It's just a very basic compiler written on top of arduino command line compiler. It lets you specify some default options so that you can compile your .ino files faster. This should work under Linux ...
How to use compiler optimization options with the Arduino IDE. The goal of Arduino is to make microcontroller development as easy as possible so that the programmer can concentrate on his or her goals ...
How to use compiler optimization options with the Arduino IDE. The goal of Arduino is to make microcontroller development as easy as possible so that the programmer can concentrate on his or her goals ...