Tente:
sudo DEVKITARM=$DEVKITPRO/devkitARM make
Embora eu deva dizer que make geralmente não requer sudo . Provavelmente você precisará dele porque está trabalhando com /opt , em que os arquivos geralmente são de propriedade do root, portanto, pode ser mais simples usar chown e executar apenas make :
sudo chown $USER /opt/devkitPro/ -R