Some success with the SDK
After some wrangling, I managed to get the SDK to download. Apple’s servers decided to reset my download after 12 hours at 1.6GB in such a way that Safari thought the entire thing had downloaded, so no resuming… Or at least there would have been no resuming if I hadn’t started a new download and applied some text editor-fu to the Info.plist in the .download package to make it think that the 1.6Gb file was the thing it should have been resuming. Sheesh, even the hopeless transfer manager that Microsoft makes you download stuff from MSDN is better than this.
This means that I managed to get the SDK installed an hour ago, and spent some time pointing it at the GlkClient source files, which compiled with barely a hitch: mostly I just needed to replace Cocoa.h with UIKit.h and change some NSColors to UIColors. Awesome: you can compile UI-less glk interpreters now. That’s the easy part done: now I need UIKit implementations of the glk protocol classes, and some new startup code to run the interpreter in a separate thread instead of in a separate task (which would be pointless on the iPhone and would probably annoy Apple anyway).
I’ve also created a Google Code project for this, so you can track progress at http://code.google.com/p/cocoaglk.