+/**
+Selects the last profile used. If the profile cache file is not present, the
+default profile is assumed.
+*/
+void Config::select_last_profile()
+{
+ try
+ {
+ IO::File in((package.get_source()/".profile.cache").str());
+ string profile;
+ in.getline(profile);
+ set_option("profile", profile);
+ }
+ catch(const IO::FileNotFound &)
+ { }
+
+ freeze_mtime=true;
+ package.get_builder().apply_profile_template(*this, get_option("profile").value);
+ freeze_mtime=false;
+
+ load();
+}
+
+/**
+Selects the given profile. The profile cache file is updated as well, unless
+--dry-run was given.
+*/
+void Config::select_profile(const string &profile)
+{
+ set_option("profile", profile);
+
+ if(!package.get_builder().get_dry_run())
+ {
+ IO::File out((package.get_source()/".profile.cache").str(), IO::M_WRITE);
+ IO::print(out, "%s\n", profile);
+ }
+
+ freeze_mtime=true;
+ package.get_builder().apply_profile_template(*this, profile);
+ freeze_mtime=false;
+
+ load();
+}
+
+/**
+Processes options from the given raw option map. Nonexistent options are
+ignored. If any options were changed, the mtime of the configuration is updated
+to the current time.
+
+@param opts A map to process options from
+
+@return Whether any option values were changed
+*/
+bool Config::update(const StringMap &opts)