"Missing SDK platform Android, API 18"

Android SDKをアップデートしようとしたら、API 18のGoogle APIsはSDK Platform, API 18に依存してるよと言われるものの、SDK Platform, API 18の入れ方がわからない。というわけでタイトルのメッセージ。Google先生に聞いても、いまいち訳のわからない解決策しか出てこない。

私の理解したところでは、ようするにAndroid SDK Toolsのみを先にアップデートしなければダメってこと。まぁ、当たり前と言えば当たり前で、API 17のときのAndroid SDK Toolsなので、API 18には対応してないのだろう。

普通そうするだろって言われるとそうかもしれない。普通の人とははまりどころが違ったようだ。ほかの人の解決策は、ちょっと訳が分からないものばかりだったので、メモ。