How to compile on Raspberry Pi - arduino/arduino-create-agent GitHub Wiki
See the instructions here:
https://github.com/arduino/arduino-create-agent/wiki/Development
See the instructions here:
https://github.com/arduino/arduino-create-agent/wiki/Development