Official Arduino IDE does not agree with PI and it sucks any way.
[update] Platformio is a better way!
There are two major ways to compile and upload sketch files to Arduino: a. use IDEs (Arduino IDE, Emacs IDE, Fritzing or ArduIDE). or b. use a terminal. Arch official site explains well, however, most of it does not apply to RasPi with Arch Linux. It DOES work with regular ...