Momma's Wiki: Ubuntu/gccの切り替え - gccのバージョンを必要に応じて切り替えられるようにする このコマンドを使...

update-alternatives このコマンドを使うと任意の環境に切り替えられる sudo update-alternatives --list gcc として登録があれば--configオプションで設定する。 無い場合は下記の通り。(4.4と4.6を切り替える例) sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-4.6 46 --slave /usr/bin/g++ g++ /usr/bin/g++-4.6 --slave /usr/bin/gcov gcov /usr/bin/gcov-4.6 sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-4.4 44 --slave /usr/bin/g++ g++ /usr/bi

[richard_raw]

おお、こんなコマンドがあったんですね。