You may have to install the following (Linux) packages: 

  • arduino
  • gcc-avr
  • avrdude
  • Eventually, avr-binutils and avr-libc if they are not included

In addition to these packages, check that:

  • avrdude.conf must be in /usr/share/arduino/hardware/tools/ (if not you have to modify Makefiles).
  • The user should have the right to write on the USB port : usermod -aG dialout <username>