Você precisa deixar update-alternatives
saber que você tem 2 compiladores C / C ++, criar um registro para cada um deles e, em seguida, configurar qual deles você deseja usar. Isso é feito com o seguinte:
sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-4.7 60 --slave /usr/bin/g++ g++ /usr/bin/g++-4.7
sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-4.8 40 --slave /usr/bin/g++ g++ /usr/bin/g++-4.8
sudo update-alternatives --config gcc
Deste ponto em diante, a única coisa necessária ao trocar de compiladores é este comando:
sudo update-alternatives --config gcc
Fonte: link .