debian unstableでgccの切り替え
意外なことに、 gcc が alternativesに登録されてなかったので、手動で登録して切り替え。
sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-4.3 43 --slave /usr/bin/g++ g++ /usr/bin/g++-4.3 --slave /usr/bin/gcov gcov /usr/bin/gcov-4.3 sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-4.4 44 --slave /usr/bin/g++ g++ /usr/bin/g++-4.4 --slave /usr/bin/gcov gcov /usr/bin/gcov-4.4 sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-4.5 45 --slave /usr/bin/g++ g++ /usr/bin/g++-4.5 --slave /usr/bin/gcov gcov /usr/bin/gcov-4.5 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
–slaveで連動して g++, gcovとかも切り替える。
これで後は
update-alternatives --config gcc alternative gcc (/usr/bin/gcc を提供) には 4 個の選択肢があります。 選択肢 パス 優先度 状態 ------------------------------------------------------------ 0 /usr/bin/gcc-4.6 46 自動モード 1 /usr/bin/gcc-4.3 43 手動モード 2 /usr/bin/gcc-4.4 44 手動モード * 3 /usr/bin/gcc-4.5 45 手動モード 4 /usr/bin/gcc-4.6 46 手動モード 現在の選択 [*] を保持するには Enter、さもなければ選択肢の番号のキーを押してください: 3
でおk
Related posts:
alternativesを使わないのには理由があります。see README.Debian
懐かしい名前が。
locate README.Debian | grep gcc | xargs grep -i alter
で出てこない、どの README.Debianだろ。