out.write("\t\t</activity>\n");
}
out.write("\t</application>\n");
+ const set<string> &permissions = manifest.get_permissions();
+ for(set<string>::const_iterator i=permissions.begin(); i!=permissions.end(); ++i)
+ IO::print(out, "\t<uses-permission android:name=\"%s\" />\n", *i);
out.write("</manifest>\n");
status = Task::SUCCESS;