-/**
-Gets the given option from the configuration. If the option doesn't exist,
-an Exception is thrown.
-*/
-const Config::Option &Config::get_option(const string &name) const
-{
- OptionMap::const_iterator i=options.find(name);
- if(i==options.end())
- throw Exception("Tried to access nonexistent option "+name);
-
- return i->second;
-}
-
-/**
-Checks whether an option with the given name exists.
-*/
-bool Config::is_option(const string &name) const
-{
- return options.count(name);
-}
-
-/**
-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 SystemError &)
- { }
-
- 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)