conradin:
I can accept that I will have to upgrade to a different compiler. I usually use geany as a front end.
What I want to know is how to upload code to the arduino from a different compiler. A terminal command would be just fine with me.
GCC has such options. The IDE has to enable them.