¡Esta es una revisión vieja del documento!
Sección sobre programación con el IDE de Ardunio
Cómo compilar código para Arduino sin depender del IDE: usando la linea de comando desde Linux.
Referencias: