• GCC ARM Toolchainでmbedをオフラインビルド
• MacOSX で ARM のクロス開発環境を構築する

上記のページを参考に arm-none-eabi-gcc を Homebrew でインストールする。

$ brew tap PX4/homebrew-px4
$ brew update
$ brew install gcc-arm-none-eabi

あとは、mbed Compiler でワークスペース上のフォルダを右クリックして、"プログラムのエクスポート..." を選択。
Export Toolchain に "GCC (ARM Embedded)" を選択して Export をクリックすると、Mac 上に zip ファイルが保存される。zip を展開したディレクトリで make を実行すればコンパイルが実行された bin ファイルが生成される。