Arduino IDE | Linux Arduino互換ライブラリをUbuntu/Linaro x86 Linux GCC 4.7でビルド→正常終了

Intel Galileo Arduino IDEに同梱されているLinux Arduino互換ライブラリのソースコードをVMware Player
上のUbuntuのUbuntu/Linaro x86 Linux GCC 4.7.3でビルド出来るか試してみました。以前のエントリでは、
Ubuntu 12.04の標準のGCC 4.6.3でビルドしようとして途中でコンパイルエラーになってしまったのですが、
今回インストールしたGCC 4.7.3では最後までビルド出来ました。

BuildLog.txt

修正したバッチファイル: arduino-1.5.3\hardware\arduino\x86\i686-linux-gnu\bin\cygwin-g++.bat
バッチファイルの内容(赤字の箇所を修正):

@echo off rem This code is in the public domain. You may use, modify or distribute it freely. cscript -nologo %~dp0\vmwshdo.js \\.\pipe\vmware-serial-port g++-4.7 %*

修正したバッチファイル: arduino-1.5.3\hardware\arduino\x86\i686-linux-gnu\bin\cygwin-gcc.bat
バッチファイルの内容(赤字の箇所を修正):

@echo off rem This code is in the public domain. You may use, modify or distribute it freely. cscript -nologo %~dp0\vmwshdo.js \\.\pipe\vmware-serial-port gcc-4.7 %*

また、以前のエントリで試したスケッチをビルドしてみたところ、UbuntuにIntel Galileo x86 Linux GCCの
共有ライブラリを補うことなく、実行することが出来ました。

Ubuntu 12.04にGCC 4.7.3をインストールする手順ですが、ウェブで調べた結果、以下のように行いました。
(どういう訳かインストール中にPythonのエラーが表示されてしまったのですが、それでもインストールする
ことは出来ました。)

sudo add-apt-repository ppa:ubuntu-toolchain-r/test
sudo apt-get update
sudo apt-get install gcc-4.7 g++-4.7