* Caution: This is "ready-to-run", i.e. in the locale encoding, not
* utf8.
*/
- std::string const & configure_command() const { return configure_command_; }
+ std::string const & configure_command() const;
private:
FileName binary_dir_;
mutable FileName document_dir_;
mutable FileName temp_dir_;
FileName system_temp_dir_;
- std::string configure_command_;
+ mutable std::string configure_command_;
bool explicit_user_support_dir_;
bool in_build_dir_;
};