(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/bin/g++-4.4 --slave /usr/bin/gcov gcov /usr/bin/gcov-4.4

で登録完了。

sudo update-alternatives --list gcc

で

/usr/bin/gcc-4.4
/usr/bin/gcc-4.6

のように出てくる。

sudo update-alternatives --config gcc

を実行すると

alternative gcc (/usr/bin/gcc を提供) には 2 個の選択肢があります。

  選択肢    パス            優先度  状態
------------------------------------------------------------
* 0            /usr/bin/gcc-4.6   46        自動モード
  1            /usr/bin/gcc-4.4   44        手動モード
  2            /usr/bin/gcc-4.6   46        手動モード

現在の選択 [*] を保持するには Enter、さもなければ選択肢の番号のキーを押してください: 

と出るので数字を選んで切り替え。