2003-06-16 15:33:38 +02:00
|
|
|
#include "globals.hh"
|
|
|
|
|
2005-02-01 23:07:48 +01:00
|
|
|
#include <map>
|
2005-09-22 17:43:22 +02:00
|
|
|
#include <algorithm>
|
2005-02-01 23:07:48 +01:00
|
|
|
|
|
|
|
|
2003-06-27 15:55:12 +02:00
|
|
|
string nixStore = "/UNINIT";
|
2003-07-10 15:41:28 +02:00
|
|
|
string nixDataDir = "/UNINIT";
|
2003-06-16 15:33:38 +02:00
|
|
|
string nixLogDir = "/UNINIT";
|
2003-11-19 18:27:16 +01:00
|
|
|
string nixStateDir = "/UNINIT";
|
2003-07-31 15:47:13 +02:00
|
|
|
string nixDBPath = "/UNINIT";
|
2005-02-01 23:07:48 +01:00
|
|
|
string nixConfDir = "/UNINIT";
|
2003-07-31 15:47:13 +02:00
|
|
|
|
2003-08-19 11:04:47 +02:00
|
|
|
bool keepFailed = false;
|
2004-06-25 17:36:09 +02:00
|
|
|
bool keepGoing = false;
|
2004-06-28 12:42:57 +02:00
|
|
|
bool tryFallback = false;
|
2004-08-18 14:19:06 +02:00
|
|
|
Verbosity buildVerbosity = lvlInfo;
|
2004-05-12 16:20:32 +02:00
|
|
|
unsigned int maxBuildJobs = 1;
|
2004-10-25 16:38:23 +02:00
|
|
|
bool readOnlyMode = false;
|
2006-07-06 17:30:37 +02:00
|
|
|
string thisSystem = "unset";
|
2005-02-01 23:07:48 +01:00
|
|
|
|
|
|
|
|
|
|
|
static bool settingsRead = false;
|
|
|
|
|
2005-09-22 17:43:22 +02:00
|
|
|
static map<string, Strings> settings;
|
|
|
|
|
|
|
|
|
2005-09-22 19:23:43 +02:00
|
|
|
string & at(Strings & ss, unsigned int n)
|
2005-09-22 17:43:22 +02:00
|
|
|
{
|
2006-07-06 17:30:37 +02:00
|
|
|
Strings::iterator i = ss.begin();
|
2005-09-22 17:43:22 +02:00
|
|
|
advance(i, n);
|
|
|
|
return *i;
|
|
|
|
}
|
2005-02-01 23:07:48 +01:00
|
|
|
|
|
|
|
|
|
|
|
static void readSettings()
|
|
|
|
{
|
|
|
|
Path settingsFile = (format("%1%/%2%") % nixConfDir % "nix.conf").str();
|
|
|
|
if (!pathExists(settingsFile)) return;
|
|
|
|
string contents = readFile(settingsFile);
|
|
|
|
|
|
|
|
unsigned int pos = 0;
|
|
|
|
|
|
|
|
while (pos < contents.size()) {
|
|
|
|
string line;
|
|
|
|
while (pos < contents.size() && contents[pos] != '\n')
|
|
|
|
line += contents[pos++];
|
|
|
|
pos++;
|
|
|
|
|
2006-05-11 04:19:43 +02:00
|
|
|
string::size_type hash = line.find('#');
|
2005-02-01 23:07:48 +01:00
|
|
|
if (hash != string::npos)
|
|
|
|
line = string(line, 0, hash);
|
|
|
|
|
2005-09-22 17:43:22 +02:00
|
|
|
Strings tokens = tokenizeString(line);
|
|
|
|
if (tokens.empty()) continue;
|
2005-02-01 23:07:48 +01:00
|
|
|
|
2005-09-22 19:23:43 +02:00
|
|
|
if (tokens.size() < 2 || at(tokens, 1) != "=")
|
2005-02-14 14:07:09 +01:00
|
|
|
throw Error(format("illegal configuration line `%1%' in `%2%'") % line % settingsFile);
|
2005-09-22 17:43:22 +02:00
|
|
|
|
2005-09-22 19:23:43 +02:00
|
|
|
string name = at(tokens, 0);
|
2005-09-22 17:43:22 +02:00
|
|
|
|
|
|
|
Strings::iterator i = tokens.begin();
|
|
|
|
advance(i, 2);
|
|
|
|
settings[name] = Strings(i, tokens.end());
|
2005-02-01 23:07:48 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
settingsRead = true;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2005-09-22 17:43:22 +02:00
|
|
|
Strings querySetting(const string & name, const Strings & def)
|
2005-02-01 23:07:48 +01:00
|
|
|
{
|
|
|
|
if (!settingsRead) readSettings();
|
2005-09-22 17:43:22 +02:00
|
|
|
map<string, Strings>::iterator i = settings.find(name);
|
2005-02-01 23:07:48 +01:00
|
|
|
return i == settings.end() ? def : i->second;
|
|
|
|
}
|
2005-02-14 14:07:09 +01:00
|
|
|
|
|
|
|
|
2006-02-16 14:58:10 +01:00
|
|
|
string querySetting(const string & name, const string & def)
|
2005-02-14 14:07:09 +01:00
|
|
|
{
|
2005-09-22 17:43:22 +02:00
|
|
|
Strings defs;
|
2006-02-16 14:58:10 +01:00
|
|
|
defs.push_back(def);
|
|
|
|
|
2005-09-22 17:43:22 +02:00
|
|
|
Strings value = querySetting(name, defs);
|
|
|
|
if (value.size() != 1)
|
2006-02-16 14:58:10 +01:00
|
|
|
throw Error(format("configuration option `%1%' should not be a list") % name);
|
|
|
|
|
|
|
|
return value.front();
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
bool queryBoolSetting(const string & name, bool def)
|
|
|
|
{
|
|
|
|
string v = querySetting(name, def ? "true" : "false");
|
2005-09-22 17:43:22 +02:00
|
|
|
if (v == "true") return true;
|
|
|
|
else if (v == "false") return false;
|
2005-02-14 14:07:09 +01:00
|
|
|
else throw Error(format("configuration option `%1%' should be either `true' or `false', not `%2%'")
|
2005-09-22 17:43:22 +02:00
|
|
|
% name % v);
|
2005-02-14 14:07:09 +01:00
|
|
|
}
|