Save caches before starting the build

[builder.git] / source / config.h

diff --git a/source/config.h b/source/config.h
index 92f558577d0c167454f3e05df0b112a0d1d57270..3257794671530e119edcc9de67a9f78633d2d0c6 100644 (file)
--- a/source/config.h
+++ b/source/config.h
@@ -6,7 +6,7 @@
 #include <msp/datafile/loader.h>
 #include <msp/fs/path.h>
 #include <msp/time/timestamp.h>
-#include "misc.h"
+#include "feature.h"
 
 class SourcePackage;
 
@@ -18,14 +18,11 @@ class Config
 {
 public:
        /** A single configuration option. */
-       struct Option
+       struct Option: public Feature
        {
-               std::string name;
-               std::string default_value;
-               std::string description;
                std::string value;
 
-               Option(const std::string &, const std::string &, const std::string &);
+               Option(const Feature &);
        };
 
        typedef std::map<std::string, Option> OptionMap;
@@ -44,13 +41,13 @@ private:
        OptionMap options;
        InputOptions pending_options;
        Msp::Time::TimeStamp mtime;
-       bool changed;
+       mutable bool changed;
 
 public:
        Config(SourcePackage &);
 
-       /** Adds a configuration option with name, default value and description. */
-       void add_option(const std::string &, const std::string &, const std::string &);
+       /** Adds a configuration option based on a feature. */
+       const Option &add_option(const Feature &);
 
        bool set_option(const std::string &, const std::string &);