Install

All systems

curl cmd.cat/arm-linux-gnueabi-gnatmake-6.sh

Debian

apt-get install gnat-6-arm-linux-gnueabi

Ubuntu

apt-get install gnat-6-arm-linux-gnueabi

Windows (WSL2)

sudo apt-get update sudo apt-get install gnat-6-arm-linux-gnueabi

Dockerfile

dockerfile.run/arm-linux-gnueabi-gnatmake-6