Não está relacionado a um erro $PATH
, em 13.10 você precisa instalar o pacote 13.04 ia32-libs
.
Você pode baixar o pacote ia32-libs
do repositório de raring .
Faça o download de um espelho e instale-o manualmente, então você deve executar o executável arm-none-linux-gnueabi-gcc
.
sudo dpkg -i ./ia32-libs_20090808ubuntu36_amd64.deb