Arduino now has an officially supported command-line interface. The project ... build process to other IDEs more easily. The code is open source, but they do mention in their official announcement ...