Have a look at the following terminal paste from my system. As you will be able to see, I seem to have several SDK platforms installed for which there is no NDK avaiable:
rutski@electron:~/Documents/sdk/android-ndk/platforms$ android list targets | grep 'android-'
id: 1 or "android-3"
id: 2 or "android-4"
id: 3 or "android-7"
id: 4 or "android-8"
id: 5 or "android-10"
id: 6 or "android-11"
id: 7 or "android-12"
id: 8 or "android-13"
rutski@electron:~/Documents/sdk/android-ndk/platforms$ ls
android-3 android-4 android-5 android-8 android-9
What's the deal here? Is my NDK install broken, or is there a good reason for this?
It also seems that I have android-9 as an NDK, but not as an SDK; but I swear, I installed all SDKs available with the android(1) GUI tool.