ISE14.4をUbuntuにインストールした際にSDKでgmakeが無かったり、arm-xilinx-eabi-gccが無かったりで怒られた

遅まきながらZedboard上でUbuntuを動かそうとしてはまったところのメモ。

環境は以下の通り。
　ホスト：Windows8.1
　仮想環境：Vmware player　＋　Ubuntu13.10
　ツール：ISE 14.4, EDK

Analog Devicesで配っているプロジェクトが14.4だったので、これをインストール
（14.6はコンバージョンしたけどうまく動かなかったので削除しました）
Xilinx Linux Wikiに記載の通りツールを導入して合成までいったがSDKでFSBLを作るところで躓いてしまった。
内容としてはタイトルにもあるように２点で、gmakeが見つからないのと、
arm-xilinx-eabi-gccが無いというものであった。

まず１点目、gmakeに関する解決策は次のページを参考にしました。

　http://www.bedesign.jp/modules/d3blog/tb.php/7

簡単に言えばmakeをgmakeとしてシンボリックリンクを貼ってあげればよいようです。

２点目はarm-xilinx-eabi-gccが見つからないという問題です。
解決策は下記ページに記載されていました。

　http://www.zedboard.org/content/arm-xilinx-eabi-gcc-seems-be-missin

私は以下の通りに実行することで正常にarmのコンパイラがインストールされて問題は解決しました。

1. sudo dpkg-reconfigure -plow dash
//set dash as default system shell. Choose "NO"
2. re-install xilinx ISE
3. sudo dpkg-reconfigure -plow dash
//set dash as default system shell. Choose "YES"