Install

All systems

curl cmd.cat/mipsisa32r6el-linux-gnu-gnatlink.sh

Debian

apt-get install gnat-8-mipsisa32r6el-linux-gnu

Ubuntu

apt-get install gnat-8-mipsisa32r6el-linux-gnu

Windows (WSL2)

sudo apt-get update sudo apt-get install gnat-8-mipsisa32r6el-linux-gnu

Dockerfile

dockerfile.run/mipsisa32r6el-linux-gnu-gnatlink