〔41〕 gcc の切り替え

新バージョンの gcc をインストールした後で、gcc-config コマンドを用いて gcc を切り替える必要がある。

基本的には、

gcc-config -l でインストールされているバージョンの一覧を確認し、

gcc-config <リスト内の番号> で、切り替える。

下図は、ホストの MacOSX のターミナルからログインして、それら一連の作業を行なったときの様子だ。