Arduino-1.6.5r5-Teensyduino

ubuntu 20.04

sudo apt-get install openjdk-8-jdk openjdk-8-jre ant gcc git make

cd build

ant dist