+ OptionMap::const_iterator i = options.find("profile");
+ if(i!=options.end())
+ fn = package.get_source()/(".options."+i->second.value);
+
+ IO::BufferedFile out(fn.str(), IO::M_WRITE);
+
+ for(i=options.begin(); i!=options.end(); ++i)
+ IO::print(out, "option \"%s\" \"%s\";\n", i->second.name, i->second.value);
+}
+
+bool Config::set_option(const string &opt, const string &val)
+{
+ bool result = false;
+
+ OptionMap::iterator i = options.find(opt);
+ if(i!=options.end())
+ {
+ if(i->second.value!=val)
+ result = true;
+ i->second.value = val;
+ }
+
+ return result;