うまくいかない時はまず資料集めだ。
あわよくばそのまま使える資料があるかもしれない。


Exporting to offline toolchains
Project to allow offline GCC compilation of code using mbed cloud libraries.
mbed library sources


GCCでmbedの実行ファイルをコンパイル
GCCでmbedの実行ファイルをコンパイル（２）


ARM: Clone of the mbed / 失敗！？
mbed-sdkをLPCXpresso LPC1769で使う(1) 2013


オフライン コンパイル
オフラインコンパイラ Keil uVision4 を使ってみる（その１）
オフラインコンパイラ Keil uVision4 を使ってみる（その２）


これらの資料を見ると、動きそうだ。いや、動かしている人がいる。
しかし、自分でやってみると Export したものはオフライン コンパイルできるが、mbed のソースを集めて最初から作りこもうとするとうまくいかない。
悔しいが mbed はしばらくペンディングだ。