if [ -d "/opt/devkitpro" ]; then
    export DEVKITPRO=/opt/devkitpro
    export DEVKITARM=/opt/devkitpro/devkitARM
    export DEVKITPPC=/opt/devkitpro/devkitPPC
    export PATH=/opt/devkitpro/tools/bin:$PATH
fi