PlatformIO is a python tool to build and upload sketches for multiple Hardware Platforms, at the moment of writing these are Arduino/AVR based boards. This is the only tool working with Raspberry Pi running Arch Linux so far, and I have been searching for some tool like this for a long time.

NB: The over-bearing minion is there because every time my little one sees it, she giggles.