Tiens, j'ai installé GCC4TI et il ne veut pas se lancer :/

nd \$TIGCC/bin to your \$PATH before using GCC4TI."A la fin du fichier d'installation, on trouve ça : Make sure you set \$TIGCC to \"$PREFIX_GCC4TI\" and appe
J'ai donc rajouté ça dans mon .bashrc :

TIGCC="/usr/local/share/gcc4ti"
export PATH=$PATH:$TIGCC/bin

Ce qui donne :

folco@Weygand:~$ echo $TIGCC
/usr/local/share/gcc4ti
folco@Weygand:~$ echo $PATH
/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/share/gcc4ti/bin

J'ai fait une installation avec les options par défaut (donc entre autres au niveau du path, /usr/local/share/gcc4ti).
Et quand je lance 'tigcc', j'ai cette erreur :
Fatal error: TIGCC is not defined in the environment. TIGCC must be defined before tigcc can run.
Ah ué ? Pourtant 'echo $TIGCC' me dit bien que TIGCC est définie