To upload to arduino board without using the arduino IDE, run: arduino --board arduino:avr:leonardo --port /dev/ttyACM0 --upload pump-control.c --verbose-upload