2003-03-13 16:28:32 +00:00
|
|
|
#include <iostream>
|
2005-05-04 16:33:20 +00:00
|
|
|
#include <algorithm>
|
2003-03-14 16:43:14 +00:00
|
|
|
|
2003-06-17 21:12:58 +00:00
|
|
|
#include "globals.hh"
|
2005-01-19 16:39:47 +00:00
|
|
|
#include "build.hh"
|
2006-03-06 11:21:15 +00:00
|
|
|
#include "misc.hh"
|
2004-08-25 11:43:49 +00:00
|
|
|
#include "gc.hh"
|
2003-06-20 10:40:25 +00:00
|
|
|
#include "archive.hh"
|
2003-07-04 15:42:03 +00:00
|
|
|
#include "shared.hh"
|
2003-09-03 11:20:18 +00:00
|
|
|
#include "dotgraph.hh"
|
2006-09-04 21:06:23 +00:00
|
|
|
#include "store.hh"
|
|
|
|
#include "db.hh"
|
|
|
|
#include "util.hh"
|
2003-11-18 12:06:07 +00:00
|
|
|
#include "help.txt.hh"
|
2003-03-24 11:50:20 +00:00
|
|
|
|
|
|
|
|
2006-09-04 21:06:23 +00:00
|
|
|
using namespace nix;
|
|
|
|
using std::cin;
|
|
|
|
using std::cout;
|
|
|
|
|
|
|
|
|
2003-06-17 21:12:58 +00:00
|
|
|
typedef void (* Operation) (Strings opFlags, Strings opArgs);
|
2003-04-02 15:34:05 +00:00
|
|
|
|
|
|
|
|
2003-12-01 15:55:05 +00:00
|
|
|
void printHelp()
|
2003-07-28 12:19:23 +00:00
|
|
|
{
|
2003-11-18 12:06:07 +00:00
|
|
|
cout << string((char *) helpText, sizeof helpText);
|
2003-07-28 12:19:23 +00:00
|
|
|
}
|
2003-06-20 14:11:31 +00:00
|
|
|
|
|
|
|
|
2005-02-01 12:36:25 +00:00
|
|
|
static Path gcRoot;
|
|
|
|
static int rootNr = 0;
|
2005-02-01 13:48:46 +00:00
|
|
|
static bool indirectRoot = false;
|
2005-02-01 12:36:25 +00:00
|
|
|
|
|
|
|
|
2005-02-07 14:32:44 +00:00
|
|
|
static Path fixPath(Path path)
|
2005-02-01 12:36:25 +00:00
|
|
|
{
|
2005-02-17 13:55:18 +00:00
|
|
|
SwitchToOriginalUser sw;
|
2005-02-01 13:48:46 +00:00
|
|
|
path = absPath(path);
|
2005-02-07 14:32:44 +00:00
|
|
|
while (!isInStore(path)) {
|
|
|
|
if (!isLink(path)) break;
|
2005-02-01 12:36:25 +00:00
|
|
|
string target = readLink(path);
|
2005-02-01 15:05:32 +00:00
|
|
|
path = absPath(target, dirOf(path));
|
2005-02-01 12:36:25 +00:00
|
|
|
}
|
2005-02-07 14:32:44 +00:00
|
|
|
return toStorePath(path);
|
2005-02-01 12:36:25 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-10-28 16:33:54 +00:00
|
|
|
static Path useDeriver(Path path)
|
|
|
|
{
|
|
|
|
if (!isDerivation(path)) {
|
|
|
|
path = queryDeriver(noTxn, path);
|
|
|
|
if (path == "")
|
|
|
|
throw Error(format("deriver of path `%1%' is not known") % path);
|
|
|
|
}
|
|
|
|
return path;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2005-01-25 10:55:33 +00:00
|
|
|
/* Realisation the given path. For a derivation that means build it;
|
|
|
|
for other paths it means ensure their validity. */
|
|
|
|
static Path realisePath(const Path & path)
|
|
|
|
{
|
|
|
|
if (isDerivation(path)) {
|
|
|
|
PathSet paths;
|
|
|
|
paths.insert(path);
|
|
|
|
buildDerivations(paths);
|
2005-02-01 12:36:25 +00:00
|
|
|
Path outPath = findOutput(derivationFromPath(path), "out");
|
|
|
|
|
|
|
|
if (gcRoot == "")
|
|
|
|
printGCWarning();
|
|
|
|
else
|
2005-02-01 13:48:46 +00:00
|
|
|
outPath = addPermRoot(outPath,
|
|
|
|
makeRootName(gcRoot, rootNr),
|
|
|
|
indirectRoot);
|
2005-02-01 12:36:25 +00:00
|
|
|
|
|
|
|
return outPath;
|
2005-01-25 10:55:33 +00:00
|
|
|
} else {
|
|
|
|
ensurePath(path);
|
|
|
|
return path;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/* Realise the given paths. */
|
|
|
|
static void opRealise(Strings opFlags, Strings opArgs)
|
2003-03-14 16:43:14 +00:00
|
|
|
{
|
2003-06-17 21:12:58 +00:00
|
|
|
if (!opFlags.empty()) throw UsageError("unknown flag");
|
2003-03-13 16:28:32 +00:00
|
|
|
|
2005-02-01 12:36:25 +00:00
|
|
|
for (Strings::iterator i = opArgs.begin();
|
2005-03-26 22:06:57 +00:00
|
|
|
i != opArgs.end(); ++i)
|
2005-02-07 14:32:44 +00:00
|
|
|
*i = fixPath(*i);
|
2005-02-01 12:36:25 +00:00
|
|
|
|
2005-01-25 10:55:33 +00:00
|
|
|
if (opArgs.size() > 1) {
|
|
|
|
PathSet drvPaths;
|
|
|
|
for (Strings::iterator i = opArgs.begin();
|
2005-03-26 22:06:57 +00:00
|
|
|
i != opArgs.end(); ++i)
|
2005-01-25 10:55:33 +00:00
|
|
|
if (isDerivation(*i))
|
|
|
|
drvPaths.insert(*i);
|
|
|
|
buildDerivations(drvPaths);
|
|
|
|
}
|
2005-01-19 15:02:02 +00:00
|
|
|
|
2003-10-08 15:06:59 +00:00
|
|
|
for (Strings::iterator i = opArgs.begin();
|
2005-03-26 22:06:57 +00:00
|
|
|
i != opArgs.end(); ++i)
|
2005-01-25 10:55:33 +00:00
|
|
|
cout << format("%1%\n") % realisePath(*i);
|
2003-04-02 15:34:05 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2005-04-07 14:01:51 +00:00
|
|
|
/* Add files to the Nix store and print the resulting paths. */
|
2003-06-17 21:12:58 +00:00
|
|
|
static void opAdd(Strings opFlags, Strings opArgs)
|
2003-04-02 15:34:05 +00:00
|
|
|
{
|
2003-06-17 21:12:58 +00:00
|
|
|
if (!opFlags.empty()) throw UsageError("unknown flag");
|
2003-04-02 15:34:05 +00:00
|
|
|
|
2005-03-26 22:06:57 +00:00
|
|
|
for (Strings::iterator i = opArgs.begin(); i != opArgs.end(); ++i)
|
2003-10-08 15:06:59 +00:00
|
|
|
cout << format("%1%\n") % addToStore(*i);
|
2003-03-13 16:28:32 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2005-04-07 14:01:51 +00:00
|
|
|
/* Preload the output of a fixed-output derivation into the Nix
|
|
|
|
store. */
|
|
|
|
static void opAddFixed(Strings opFlags, Strings opArgs)
|
|
|
|
{
|
|
|
|
bool recursive = false;
|
|
|
|
|
|
|
|
for (Strings::iterator i = opFlags.begin();
|
|
|
|
i != opFlags.end(); ++i)
|
|
|
|
if (*i == "--recursive") recursive = true;
|
|
|
|
else throw UsageError(format("unknown flag `%1%'") % *i);
|
|
|
|
|
|
|
|
if (opArgs.empty())
|
|
|
|
throw UsageError("first argument must be hash algorithm");
|
|
|
|
|
|
|
|
string hashAlgo = opArgs.front();
|
|
|
|
opArgs.pop_front();
|
|
|
|
|
|
|
|
for (Strings::iterator i = opArgs.begin(); i != opArgs.end(); ++i)
|
|
|
|
cout << format("%1%\n") % addToStoreFixed(recursive, hashAlgo, *i);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-11-13 16:48:27 +00:00
|
|
|
static Hash parseHash16or32(HashType ht, const string & s)
|
|
|
|
{
|
|
|
|
return s.size() == Hash(ht).hashSize * 2
|
|
|
|
? parseHash(ht, s)
|
|
|
|
: parseHash32(ht, s);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2005-04-07 14:01:51 +00:00
|
|
|
/* Hack to support caching in `nix-prefetch-url'. */
|
|
|
|
static void opPrintFixedPath(Strings opFlags, Strings opArgs)
|
|
|
|
{
|
|
|
|
bool recursive = false;
|
|
|
|
|
|
|
|
for (Strings::iterator i = opFlags.begin();
|
|
|
|
i != opFlags.end(); ++i)
|
|
|
|
if (*i == "--recursive") recursive = true;
|
|
|
|
else throw UsageError(format("unknown flag `%1%'") % *i);
|
|
|
|
|
|
|
|
Strings::iterator i = opArgs.begin();
|
|
|
|
string hashAlgo = *i++;
|
|
|
|
string hash = *i++;
|
|
|
|
string name = *i++;
|
|
|
|
|
|
|
|
cout << format("%1%\n") %
|
2006-11-13 16:48:27 +00:00
|
|
|
makeFixedOutputPath(recursive, hashAlgo,
|
|
|
|
parseHash16or32(parseHashType(hashAlgo), hash), name);
|
2005-04-07 14:01:51 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2005-01-25 21:28:25 +00:00
|
|
|
/* Place in `paths' the set of paths that are required to `realise'
|
|
|
|
the given store path, i.e., all paths necessary for valid
|
|
|
|
deployment of the path. For a derivation, this is the union of
|
|
|
|
requisites of the inputs, plus the derivation; for other store
|
|
|
|
paths, it is the set of paths in the FS closure of the path. If
|
|
|
|
`includeOutputs' is true, include the requisites of the output
|
|
|
|
paths of derivations as well.
|
|
|
|
|
|
|
|
Note that this function can be used to implement three different
|
|
|
|
deployment policies:
|
|
|
|
|
|
|
|
- Source deployment (when called on a derivation).
|
|
|
|
- Binary deployment (when called on an output path).
|
|
|
|
- Source/binary deployment (when called on a derivation with
|
|
|
|
`includeOutputs' set to true).
|
|
|
|
*/
|
|
|
|
static void storePathRequisites(const Path & storePath,
|
|
|
|
bool includeOutputs, PathSet & paths)
|
|
|
|
{
|
|
|
|
computeFSClosure(storePath, paths);
|
|
|
|
|
|
|
|
if (includeOutputs) {
|
|
|
|
for (PathSet::iterator i = paths.begin();
|
|
|
|
i != paths.end(); ++i)
|
|
|
|
if (isDerivation(*i)) {
|
|
|
|
Derivation drv = derivationFromPath(*i);
|
|
|
|
for (DerivationOutputs::iterator j = drv.outputs.begin();
|
|
|
|
j != drv.outputs.end(); ++j)
|
|
|
|
if (isValidPath(j->second.path))
|
|
|
|
computeFSClosure(j->second.path, paths);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2005-01-25 10:55:33 +00:00
|
|
|
static Path maybeUseOutput(const Path & storePath, bool useOutput, bool forceRealise)
|
2003-07-29 10:43:12 +00:00
|
|
|
{
|
2005-01-25 10:55:33 +00:00
|
|
|
if (forceRealise) realisePath(storePath);
|
2005-01-19 14:36:00 +00:00
|
|
|
if (useOutput && isDerivation(storePath)) {
|
|
|
|
Derivation drv = derivationFromPath(storePath);
|
|
|
|
return findOutput(drv, "out");
|
|
|
|
}
|
|
|
|
else return storePath;
|
2003-07-29 10:43:12 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2005-01-19 16:59:56 +00:00
|
|
|
static void printPathSet(const PathSet & paths)
|
|
|
|
{
|
|
|
|
for (PathSet::iterator i = paths.begin();
|
2005-03-26 22:06:57 +00:00
|
|
|
i != paths.end(); ++i)
|
2005-01-19 16:59:56 +00:00
|
|
|
cout << format("%s\n") % *i;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2005-02-17 15:57:46 +00:00
|
|
|
/* Some code to print a tree representation of a derivation dependency
|
|
|
|
graph. Topological sorting is used to keep the tree relatively
|
|
|
|
flat. */
|
|
|
|
|
|
|
|
const string treeConn = "+---";
|
|
|
|
const string treeLine = "| ";
|
|
|
|
const string treeNull = " ";
|
|
|
|
|
|
|
|
|
|
|
|
static void dfsVisit(const PathSet & paths, const Path & path,
|
|
|
|
PathSet & visited, Paths & sorted)
|
|
|
|
{
|
|
|
|
if (visited.find(path) != visited.end()) return;
|
|
|
|
visited.insert(path);
|
|
|
|
|
|
|
|
PathSet closure;
|
|
|
|
computeFSClosure(path, closure);
|
|
|
|
|
|
|
|
for (PathSet::iterator i = closure.begin();
|
|
|
|
i != closure.end(); ++i)
|
|
|
|
if (*i != path && paths.find(*i) != paths.end())
|
|
|
|
dfsVisit(paths, *i, visited, sorted);
|
|
|
|
|
|
|
|
sorted.push_front(path);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
static Paths topoSort(const PathSet & paths)
|
|
|
|
{
|
|
|
|
Paths sorted;
|
|
|
|
PathSet visited;
|
|
|
|
for (PathSet::const_iterator i = paths.begin(); i != paths.end(); ++i)
|
|
|
|
dfsVisit(paths, *i, visited, sorted);
|
|
|
|
return sorted;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2005-04-08 12:57:16 +00:00
|
|
|
static void printTree(const Path & path,
|
2005-02-17 15:57:46 +00:00
|
|
|
const string & firstPad, const string & tailPad, PathSet & done)
|
|
|
|
{
|
2005-04-08 12:57:16 +00:00
|
|
|
if (done.find(path) != done.end()) {
|
|
|
|
cout << format("%1%%2% [...]\n") % firstPad % path;
|
2005-02-17 15:57:46 +00:00
|
|
|
return;
|
|
|
|
}
|
2005-04-08 12:57:16 +00:00
|
|
|
done.insert(path);
|
2005-02-17 15:57:46 +00:00
|
|
|
|
2005-04-08 12:57:16 +00:00
|
|
|
cout << format("%1%%2%\n") % firstPad % path;
|
|
|
|
|
|
|
|
PathSet references;
|
|
|
|
queryReferences(noTxn, path, references);
|
2005-02-17 15:57:46 +00:00
|
|
|
|
2005-04-08 12:57:16 +00:00
|
|
|
#if 0
|
2005-02-17 15:57:46 +00:00
|
|
|
for (PathSet::iterator i = drv.inputSrcs.begin();
|
|
|
|
i != drv.inputSrcs.end(); ++i)
|
|
|
|
cout << format("%1%%2%\n") % (tailPad + treeConn) % *i;
|
2005-04-08 12:57:16 +00:00
|
|
|
#endif
|
2005-02-17 15:57:46 +00:00
|
|
|
|
2005-02-22 15:23:24 +00:00
|
|
|
/* Topologically sort under the relation A < B iff A \in
|
2005-02-17 15:57:46 +00:00
|
|
|
closure(B). That is, if derivation A is an (possibly indirect)
|
|
|
|
input of B, then A is printed first. This has the effect of
|
|
|
|
flattening the tree, preventing deeply nested structures. */
|
2005-04-08 12:57:16 +00:00
|
|
|
Paths sorted = topoSort(references);
|
2005-02-17 15:57:46 +00:00
|
|
|
reverse(sorted.begin(), sorted.end());
|
|
|
|
|
|
|
|
for (Paths::iterator i = sorted.begin(); i != sorted.end(); ++i) {
|
|
|
|
Paths::iterator j = i; ++j;
|
2005-04-08 12:57:16 +00:00
|
|
|
printTree(*i, tailPad + treeConn,
|
2005-02-17 15:57:46 +00:00
|
|
|
j == sorted.end() ? tailPad + treeNull : tailPad + treeLine,
|
|
|
|
done);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2003-07-08 13:22:08 +00:00
|
|
|
/* Perform various sorts of queries. */
|
|
|
|
static void opQuery(Strings opFlags, Strings opArgs)
|
|
|
|
{
|
2005-12-13 21:04:48 +00:00
|
|
|
enum { qOutputs, qRequisites, qReferences, qReferrers
|
|
|
|
, qReferrersClosure, qDeriver, qBinding, qHash
|
2005-03-02 15:57:06 +00:00
|
|
|
, qTree, qGraph } query = qOutputs;
|
2005-01-19 14:36:00 +00:00
|
|
|
bool useOutput = false;
|
|
|
|
bool includeOutputs = false;
|
2005-01-25 10:55:33 +00:00
|
|
|
bool forceRealise = false;
|
2005-02-07 14:32:44 +00:00
|
|
|
string bindingName;
|
2003-07-21 14:46:01 +00:00
|
|
|
|
|
|
|
for (Strings::iterator i = opFlags.begin();
|
2005-02-07 14:32:44 +00:00
|
|
|
i != opFlags.end(); ++i)
|
2005-01-19 14:36:00 +00:00
|
|
|
if (*i == "--outputs") query = qOutputs;
|
2003-11-18 11:22:29 +00:00
|
|
|
else if (*i == "--requisites" || *i == "-R") query = qRequisites;
|
2005-01-19 16:59:56 +00:00
|
|
|
else if (*i == "--references") query = qReferences;
|
2005-12-13 21:04:48 +00:00
|
|
|
else if (*i == "--referrers" || *i == "--referers") query = qReferrers;
|
|
|
|
else if (*i == "--referrers-closure" || *i == "--referers-closure") query = qReferrersClosure;
|
2005-02-07 13:40:40 +00:00
|
|
|
else if (*i == "--deriver" || *i == "-d") query = qDeriver;
|
2005-02-07 14:32:44 +00:00
|
|
|
else if (*i == "--binding" || *i == "-b") {
|
|
|
|
if (opArgs.size() == 0)
|
|
|
|
throw UsageError("expected binding name");
|
|
|
|
bindingName = opArgs.front();
|
|
|
|
opArgs.pop_front();
|
|
|
|
query = qBinding;
|
|
|
|
}
|
2005-03-02 15:57:06 +00:00
|
|
|
else if (*i == "--hash") query = qHash;
|
2005-02-17 15:57:46 +00:00
|
|
|
else if (*i == "--tree") query = qTree;
|
2003-07-28 12:19:23 +00:00
|
|
|
else if (*i == "--graph") query = qGraph;
|
2005-01-19 14:36:00 +00:00
|
|
|
else if (*i == "--use-output" || *i == "-u") useOutput = true;
|
2005-01-25 10:55:33 +00:00
|
|
|
else if (*i == "--force-realise" || *i == "-f") forceRealise = true;
|
2005-01-19 14:36:00 +00:00
|
|
|
else if (*i == "--include-outputs") includeOutputs = true;
|
2003-07-21 14:46:01 +00:00
|
|
|
else throw UsageError(format("unknown flag `%1%'") % *i);
|
|
|
|
|
|
|
|
switch (query) {
|
|
|
|
|
2005-01-19 14:36:00 +00:00
|
|
|
case qOutputs: {
|
2003-07-21 14:46:01 +00:00
|
|
|
for (Strings::iterator i = opArgs.begin();
|
2005-03-26 22:06:57 +00:00
|
|
|
i != opArgs.end(); ++i)
|
2003-07-21 14:46:01 +00:00
|
|
|
{
|
2005-02-07 14:32:44 +00:00
|
|
|
*i = fixPath(*i);
|
2005-01-25 10:55:33 +00:00
|
|
|
if (forceRealise) realisePath(*i);
|
2005-01-19 14:36:00 +00:00
|
|
|
Derivation drv = derivationFromPath(*i);
|
|
|
|
cout << format("%1%\n") % findOutput(drv, "out");
|
2003-07-21 14:46:01 +00:00
|
|
|
}
|
2003-07-08 13:22:08 +00:00
|
|
|
break;
|
2003-07-10 13:41:28 +00:00
|
|
|
}
|
2003-07-08 13:22:08 +00:00
|
|
|
|
2005-01-19 16:59:56 +00:00
|
|
|
case qRequisites:
|
|
|
|
case qReferences:
|
2005-12-13 21:04:48 +00:00
|
|
|
case qReferrers:
|
|
|
|
case qReferrersClosure: {
|
2005-01-19 14:36:00 +00:00
|
|
|
PathSet paths;
|
2003-07-21 14:46:01 +00:00
|
|
|
for (Strings::iterator i = opArgs.begin();
|
2005-03-26 22:06:57 +00:00
|
|
|
i != opArgs.end(); ++i)
|
2003-07-21 14:46:01 +00:00
|
|
|
{
|
2005-03-02 15:57:06 +00:00
|
|
|
Path path = maybeUseOutput(fixPath(*i), useOutput, forceRealise);
|
2005-01-19 16:59:56 +00:00
|
|
|
if (query == qRequisites)
|
|
|
|
storePathRequisites(path, includeOutputs, paths);
|
2005-02-08 13:23:55 +00:00
|
|
|
else if (query == qReferences) queryReferences(noTxn, path, paths);
|
2005-12-13 21:04:48 +00:00
|
|
|
else if (query == qReferrers) queryReferrers(noTxn, path, paths);
|
|
|
|
else if (query == qReferrersClosure) computeFSClosure(path, paths, true);
|
2003-07-21 14:46:01 +00:00
|
|
|
}
|
2005-01-19 16:59:56 +00:00
|
|
|
printPathSet(paths);
|
2003-07-21 14:46:01 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
2005-02-07 13:40:40 +00:00
|
|
|
case qDeriver:
|
|
|
|
for (Strings::iterator i = opArgs.begin();
|
2005-03-26 22:06:57 +00:00
|
|
|
i != opArgs.end(); ++i)
|
2005-02-07 13:40:40 +00:00
|
|
|
{
|
2005-03-02 15:57:06 +00:00
|
|
|
Path deriver = queryDeriver(noTxn, fixPath(*i));
|
2005-02-07 13:40:40 +00:00
|
|
|
cout << format("%1%\n") %
|
|
|
|
(deriver == "" ? "unknown-deriver" : deriver);
|
|
|
|
}
|
|
|
|
break;
|
2005-02-07 14:32:44 +00:00
|
|
|
|
|
|
|
case qBinding:
|
|
|
|
for (Strings::iterator i = opArgs.begin();
|
2005-03-26 22:06:57 +00:00
|
|
|
i != opArgs.end(); ++i)
|
2005-02-07 14:32:44 +00:00
|
|
|
{
|
2006-10-28 16:33:54 +00:00
|
|
|
Path path = useDeriver(fixPath(*i));
|
|
|
|
Derivation drv = derivationFromPath(path);
|
2005-02-07 14:32:44 +00:00
|
|
|
StringPairs::iterator j = drv.env.find(bindingName);
|
|
|
|
if (j == drv.env.end())
|
|
|
|
throw Error(format("derivation `%1%' has no environment binding named `%2%'")
|
2006-10-28 16:33:54 +00:00
|
|
|
% path % bindingName);
|
2005-02-07 14:32:44 +00:00
|
|
|
cout << format("%1%\n") % j->second;
|
|
|
|
}
|
|
|
|
break;
|
2005-02-07 13:40:40 +00:00
|
|
|
|
2005-03-02 15:57:06 +00:00
|
|
|
case qHash:
|
|
|
|
for (Strings::iterator i = opArgs.begin();
|
2005-03-26 22:06:57 +00:00
|
|
|
i != opArgs.end(); ++i)
|
2005-03-02 15:57:06 +00:00
|
|
|
{
|
|
|
|
Path path = maybeUseOutput(fixPath(*i), useOutput, forceRealise);
|
|
|
|
Hash hash = queryPathHash(path);
|
|
|
|
assert(hash.type == htSHA256);
|
|
|
|
cout << format("sha256:%1%\n") % printHash32(hash);
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
|
2005-02-17 15:57:46 +00:00
|
|
|
case qTree: {
|
|
|
|
PathSet done;
|
|
|
|
for (Strings::iterator i = opArgs.begin();
|
2005-03-26 22:06:57 +00:00
|
|
|
i != opArgs.end(); ++i)
|
2005-04-08 12:57:16 +00:00
|
|
|
printTree(fixPath(*i), "", "", done);
|
2005-02-17 15:57:46 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
2003-07-28 12:19:23 +00:00
|
|
|
case qGraph: {
|
2003-10-08 15:06:59 +00:00
|
|
|
PathSet roots;
|
2003-07-28 12:19:23 +00:00
|
|
|
for (Strings::iterator i = opArgs.begin();
|
2005-03-26 22:06:57 +00:00
|
|
|
i != opArgs.end(); ++i)
|
|
|
|
roots.insert(maybeUseOutput(fixPath(*i), useOutput, forceRealise));
|
2003-09-03 11:20:18 +00:00
|
|
|
printDotGraph(roots);
|
2003-07-28 12:19:23 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
2003-07-08 13:22:08 +00:00
|
|
|
default:
|
|
|
|
abort();
|
|
|
|
}
|
|
|
|
}
|
2003-07-10 18:48:11 +00:00
|
|
|
|
|
|
|
|
2006-10-28 16:33:54 +00:00
|
|
|
static void opReadLog(Strings opFlags, Strings opArgs)
|
|
|
|
{
|
|
|
|
if (!opFlags.empty()) throw UsageError("unknown flag");
|
|
|
|
|
|
|
|
for (Strings::iterator i = opArgs.begin();
|
|
|
|
i != opArgs.end(); ++i)
|
|
|
|
{
|
|
|
|
Path path = useDeriver(fixPath(*i));
|
|
|
|
|
|
|
|
Path logPath = (format("%1%/%2%/%3%") %
|
|
|
|
nixLogDir % drvsLogDir % baseNameOf(path)).str();
|
|
|
|
|
|
|
|
if (!pathExists(logPath))
|
|
|
|
throw Error(format("build log of derivation `%1%' is not available") % path);
|
|
|
|
|
|
|
|
/* !!! Make this run in O(1) memory. */
|
|
|
|
string log = readFile(logPath);
|
|
|
|
writeFull(STDOUT_FILENO, (const unsigned char *) log.c_str(), log.size());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2005-04-08 13:48:41 +00:00
|
|
|
static void opRegisterSubstitutes(Strings opFlags, Strings opArgs)
|
2003-07-10 15:11:48 +00:00
|
|
|
{
|
|
|
|
if (!opFlags.empty()) throw UsageError("unknown flag");
|
2005-03-23 11:25:20 +00:00
|
|
|
if (!opArgs.empty()) throw UsageError("no arguments expected");
|
2004-06-20 19:17:54 +00:00
|
|
|
|
2004-06-21 07:38:17 +00:00
|
|
|
Transaction txn;
|
|
|
|
createStoreTransaction(txn);
|
|
|
|
|
2004-06-20 19:17:54 +00:00
|
|
|
while (1) {
|
|
|
|
Path srcPath;
|
|
|
|
Substitute sub;
|
2005-01-25 17:08:52 +00:00
|
|
|
PathSet references;
|
2004-06-20 19:17:54 +00:00
|
|
|
getline(cin, srcPath);
|
|
|
|
if (cin.eof()) break;
|
2005-02-09 12:57:13 +00:00
|
|
|
getline(cin, sub.deriver);
|
2004-06-20 19:17:54 +00:00
|
|
|
getline(cin, sub.program);
|
2005-03-23 11:25:20 +00:00
|
|
|
string s; int n;
|
2005-01-25 17:08:52 +00:00
|
|
|
getline(cin, s);
|
2004-09-10 13:32:08 +00:00
|
|
|
if (!string2Int(s, n)) throw Error("number expected");
|
2004-06-20 19:17:54 +00:00
|
|
|
while (n--) {
|
|
|
|
getline(cin, s);
|
|
|
|
sub.args.push_back(s);
|
|
|
|
}
|
2005-01-25 17:08:52 +00:00
|
|
|
getline(cin, s);
|
|
|
|
if (!string2Int(s, n)) throw Error("number expected");
|
|
|
|
while (n--) {
|
|
|
|
getline(cin, s);
|
|
|
|
references.insert(s);
|
|
|
|
}
|
2004-06-20 19:17:54 +00:00
|
|
|
if (!cin || cin.eof()) throw Error("missing input");
|
2005-01-25 20:27:40 +00:00
|
|
|
registerSubstitute(txn, srcPath, sub);
|
2005-01-25 17:08:52 +00:00
|
|
|
setReferences(txn, srcPath, references);
|
2003-07-10 15:11:48 +00:00
|
|
|
}
|
2004-06-21 07:38:17 +00:00
|
|
|
|
|
|
|
txn.commit();
|
2003-07-10 15:11:48 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2004-12-20 13:43:32 +00:00
|
|
|
static void opClearSubstitutes(Strings opFlags, Strings opArgs)
|
|
|
|
{
|
|
|
|
if (!opFlags.empty()) throw UsageError("unknown flag");
|
|
|
|
if (!opArgs.empty())
|
|
|
|
throw UsageError("no arguments expected");
|
|
|
|
|
|
|
|
clearSubstitutes();
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2005-03-23 11:25:20 +00:00
|
|
|
static void opRegisterValidity(Strings opFlags, Strings opArgs)
|
2004-02-14 21:44:18 +00:00
|
|
|
{
|
2006-11-13 16:48:27 +00:00
|
|
|
bool reregister = false; // !!! maybe this should be the default
|
|
|
|
|
|
|
|
for (Strings::iterator i = opFlags.begin();
|
|
|
|
i != opFlags.end(); ++i)
|
|
|
|
if (*i == "--reregister") reregister = true;
|
|
|
|
else throw UsageError(format("unknown flag `%1%'") % *i);
|
|
|
|
|
2005-03-23 11:25:20 +00:00
|
|
|
if (!opArgs.empty()) throw UsageError("no arguments expected");
|
|
|
|
|
2005-03-23 13:07:28 +00:00
|
|
|
ValidPathInfos infos;
|
|
|
|
|
2005-03-23 11:25:20 +00:00
|
|
|
while (1) {
|
2005-03-23 13:07:28 +00:00
|
|
|
ValidPathInfo info;
|
|
|
|
getline(cin, info.path);
|
2005-03-23 11:25:20 +00:00
|
|
|
if (cin.eof()) break;
|
2005-03-23 13:07:28 +00:00
|
|
|
getline(cin, info.deriver);
|
2005-03-23 11:25:20 +00:00
|
|
|
string s; int n;
|
|
|
|
getline(cin, s);
|
|
|
|
if (!string2Int(s, n)) throw Error("number expected");
|
|
|
|
while (n--) {
|
|
|
|
getline(cin, s);
|
2005-03-23 13:07:28 +00:00
|
|
|
info.references.insert(s);
|
2005-03-23 11:25:20 +00:00
|
|
|
}
|
|
|
|
if (!cin || cin.eof()) throw Error("missing input");
|
2006-11-13 16:48:27 +00:00
|
|
|
if (!isValidPath(info.path) || reregister) {
|
2005-03-23 12:06:57 +00:00
|
|
|
/* !!! races */
|
2005-03-23 13:07:28 +00:00
|
|
|
canonicalisePathMetaData(info.path);
|
|
|
|
info.hash = hashPath(htSHA256, info.path);
|
|
|
|
infos.push_back(info);
|
2005-03-23 12:06:57 +00:00
|
|
|
}
|
2005-03-23 11:25:20 +00:00
|
|
|
}
|
|
|
|
|
2005-03-23 13:07:28 +00:00
|
|
|
Transaction txn;
|
|
|
|
createStoreTransaction(txn);
|
|
|
|
registerValidPaths(txn, infos);
|
2004-02-14 21:44:18 +00:00
|
|
|
txn.commit();
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2005-03-23 11:25:20 +00:00
|
|
|
static void opCheckValidity(Strings opFlags, Strings opArgs)
|
2004-02-14 21:44:18 +00:00
|
|
|
{
|
|
|
|
if (!opFlags.empty()) throw UsageError("unknown flag");
|
|
|
|
|
|
|
|
for (Strings::iterator i = opArgs.begin();
|
|
|
|
i != opArgs.end(); ++i)
|
|
|
|
if (!isValidPath(*i))
|
|
|
|
throw Error(format("path `%1%' is not valid") % *i);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2005-12-15 21:11:39 +00:00
|
|
|
struct PrintFreed
|
|
|
|
{
|
2006-08-11 20:26:49 +00:00
|
|
|
bool show, dryRun;
|
2005-12-15 21:11:39 +00:00
|
|
|
unsigned long long bytesFreed;
|
2006-08-11 20:26:49 +00:00
|
|
|
PrintFreed(bool show, bool dryRun)
|
2006-09-05 08:54:48 +00:00
|
|
|
: show(show), dryRun(dryRun), bytesFreed(0) { }
|
2005-12-15 21:11:39 +00:00
|
|
|
~PrintFreed()
|
|
|
|
{
|
|
|
|
if (show)
|
2006-08-11 20:26:49 +00:00
|
|
|
cout << format(
|
|
|
|
(dryRun
|
|
|
|
? "%d bytes would be freed (%.2f MiB)\n"
|
|
|
|
: "%d bytes freed (%.2f MiB)\n"))
|
2005-12-15 21:11:39 +00:00
|
|
|
% bytesFreed % (bytesFreed / (1024.0 * 1024.0));
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
|
2004-08-25 11:43:49 +00:00
|
|
|
static void opGC(Strings opFlags, Strings opArgs)
|
|
|
|
{
|
2005-02-01 15:05:32 +00:00
|
|
|
GCAction action = gcDeleteDead;
|
2005-01-27 15:21:29 +00:00
|
|
|
|
2004-08-25 11:43:49 +00:00
|
|
|
/* Do what? */
|
2004-08-25 16:54:08 +00:00
|
|
|
for (Strings::iterator i = opFlags.begin();
|
|
|
|
i != opFlags.end(); ++i)
|
2005-02-01 15:05:32 +00:00
|
|
|
if (*i == "--print-roots") action = gcReturnRoots;
|
|
|
|
else if (*i == "--print-live") action = gcReturnLive;
|
2005-01-27 15:21:29 +00:00
|
|
|
else if (*i == "--print-dead") action = gcReturnDead;
|
|
|
|
else if (*i == "--delete") action = gcDeleteDead;
|
2004-08-25 16:54:08 +00:00
|
|
|
else throw UsageError(format("bad sub-operation `%1%' in GC") % *i);
|
2005-01-27 15:21:29 +00:00
|
|
|
|
|
|
|
PathSet result;
|
2006-08-11 20:26:49 +00:00
|
|
|
PrintFreed freed(action == gcDeleteDead || action == gcReturnDead,
|
|
|
|
action == gcReturnDead);
|
2005-12-23 21:36:44 +00:00
|
|
|
collectGarbage(action, PathSet(), false, result, freed.bytesFreed);
|
2004-08-25 11:43:49 +00:00
|
|
|
|
2005-01-27 15:21:29 +00:00
|
|
|
if (action != gcDeleteDead) {
|
|
|
|
for (PathSet::iterator i = result.begin(); i != result.end(); ++i)
|
2006-09-04 21:06:23 +00:00
|
|
|
cout << *i << std::endl;
|
2004-08-25 11:43:49 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2005-12-23 21:08:42 +00:00
|
|
|
/* Remove paths from the Nix store if possible (i.e., if they do not
|
|
|
|
have any remaining referrers and are not reachable from any GC
|
|
|
|
roots). */
|
|
|
|
static void opDelete(Strings opFlags, Strings opArgs)
|
|
|
|
{
|
2006-03-01 14:39:42 +00:00
|
|
|
bool ignoreLiveness = false;
|
2005-12-23 21:36:44 +00:00
|
|
|
|
|
|
|
for (Strings::iterator i = opFlags.begin();
|
|
|
|
i != opFlags.end(); ++i)
|
|
|
|
if (*i == "--ignore-liveness") ignoreLiveness = true;
|
|
|
|
else throw UsageError(format("unknown flag `%1%'") % *i);
|
2005-12-23 21:08:42 +00:00
|
|
|
|
|
|
|
PathSet pathsToDelete;
|
|
|
|
for (Strings::iterator i = opArgs.begin();
|
|
|
|
i != opArgs.end(); ++i)
|
|
|
|
pathsToDelete.insert(fixPath(*i));
|
|
|
|
|
|
|
|
PathSet dummy;
|
2006-08-11 20:26:49 +00:00
|
|
|
PrintFreed freed(true, false);
|
2005-12-23 21:36:44 +00:00
|
|
|
collectGarbage(gcDeleteSpecific, pathsToDelete, ignoreLiveness,
|
2005-12-23 21:08:42 +00:00
|
|
|
dummy, freed.bytesFreed);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2003-06-18 14:34:43 +00:00
|
|
|
/* A sink that writes dump output to stdout. */
|
|
|
|
struct StdoutSink : DumpSink
|
|
|
|
{
|
|
|
|
virtual void operator ()
|
|
|
|
(const unsigned char * data, unsigned int len)
|
|
|
|
{
|
2003-07-20 21:11:43 +00:00
|
|
|
writeFull(STDOUT_FILENO, data, len);
|
2003-06-18 14:34:43 +00:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
|
2003-07-08 10:00:46 +00:00
|
|
|
/* Dump a path as a Nix archive. The archive is written to standard
|
2003-06-23 14:08:34 +00:00
|
|
|
output. */
|
2003-06-18 14:34:43 +00:00
|
|
|
static void opDump(Strings opFlags, Strings opArgs)
|
|
|
|
{
|
|
|
|
if (!opFlags.empty()) throw UsageError("unknown flag");
|
|
|
|
if (opArgs.size() != 1) throw UsageError("only one argument allowed");
|
|
|
|
|
|
|
|
StdoutSink sink;
|
2003-10-08 15:06:59 +00:00
|
|
|
string path = *opArgs.begin();
|
2003-06-23 14:08:34 +00:00
|
|
|
dumpPath(path, sink);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/* A source that read restore intput to stdin. */
|
|
|
|
struct StdinSource : RestoreSource
|
|
|
|
{
|
2003-07-20 21:11:43 +00:00
|
|
|
virtual void operator () (unsigned char * data, unsigned int len)
|
2003-06-23 14:08:34 +00:00
|
|
|
{
|
2003-07-20 21:11:43 +00:00
|
|
|
readFull(STDIN_FILENO, data, len);
|
2003-06-23 14:08:34 +00:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
|
2006-10-05 22:57:07 +00:00
|
|
|
/* Restore a value from a Nix archive. The archive is read from
|
2003-06-23 14:08:34 +00:00
|
|
|
standard input. */
|
|
|
|
static void opRestore(Strings opFlags, Strings opArgs)
|
|
|
|
{
|
|
|
|
if (!opFlags.empty()) throw UsageError("unknown flag");
|
|
|
|
if (opArgs.size() != 1) throw UsageError("only one argument allowed");
|
|
|
|
|
|
|
|
StdinSource source;
|
|
|
|
restorePath(*opArgs.begin(), source);
|
2003-06-18 14:34:43 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2003-06-17 21:12:58 +00:00
|
|
|
/* Initialise the Nix databases. */
|
|
|
|
static void opInit(Strings opFlags, Strings opArgs)
|
2003-05-26 09:44:18 +00:00
|
|
|
{
|
2003-06-17 21:12:58 +00:00
|
|
|
if (!opFlags.empty()) throw UsageError("unknown flag");
|
|
|
|
if (!opArgs.empty())
|
2004-06-20 19:17:54 +00:00
|
|
|
throw UsageError("no arguments expected");
|
2003-06-17 21:12:58 +00:00
|
|
|
initDB();
|
2003-03-21 15:53:35 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2003-07-17 12:27:55 +00:00
|
|
|
/* Verify the consistency of the Nix environment. */
|
|
|
|
static void opVerify(Strings opFlags, Strings opArgs)
|
|
|
|
{
|
2005-02-08 13:48:53 +00:00
|
|
|
if (!opArgs.empty())
|
|
|
|
throw UsageError("no arguments expected");
|
|
|
|
|
|
|
|
bool checkContents = false;
|
|
|
|
|
|
|
|
for (Strings::iterator i = opFlags.begin();
|
|
|
|
i != opFlags.end(); ++i)
|
|
|
|
if (*i == "--check-contents") checkContents = true;
|
|
|
|
else throw UsageError(format("unknown flag `%1%'") % *i);
|
|
|
|
|
|
|
|
verifyStore(checkContents);
|
2003-07-17 12:27:55 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2003-07-04 15:42:03 +00:00
|
|
|
/* Scan the arguments; find the operation, set global flags, put all
|
|
|
|
other flags in a list, and put all other arguments in another
|
|
|
|
list. */
|
|
|
|
void run(Strings args)
|
2003-03-24 17:49:56 +00:00
|
|
|
{
|
2003-06-20 14:11:31 +00:00
|
|
|
Strings opFlags, opArgs;
|
|
|
|
Operation op = 0;
|
|
|
|
|
2005-02-01 12:36:25 +00:00
|
|
|
for (Strings::iterator i = args.begin(); i != args.end(); ) {
|
|
|
|
string arg = *i++;
|
2003-03-24 17:49:56 +00:00
|
|
|
|
2003-06-17 21:12:58 +00:00
|
|
|
Operation oldOp = op;
|
2003-03-24 17:49:56 +00:00
|
|
|
|
2005-01-25 10:55:33 +00:00
|
|
|
if (arg == "--realise" || arg == "-r")
|
|
|
|
op = opRealise;
|
2003-07-08 13:22:08 +00:00
|
|
|
else if (arg == "--add" || arg == "-A")
|
2003-06-17 21:12:58 +00:00
|
|
|
op = opAdd;
|
2005-04-07 14:01:51 +00:00
|
|
|
else if (arg == "--add-fixed")
|
|
|
|
op = opAddFixed;
|
|
|
|
else if (arg == "--print-fixed-path")
|
|
|
|
op = opPrintFixedPath;
|
2005-12-23 21:08:42 +00:00
|
|
|
else if (arg == "--delete")
|
|
|
|
op = opDelete;
|
2005-01-19 14:36:00 +00:00
|
|
|
else if (arg == "--query" || arg == "-q")
|
|
|
|
op = opQuery;
|
2006-10-28 16:33:54 +00:00
|
|
|
else if (arg == "--read-log" || arg == "-l")
|
|
|
|
op = opReadLog;
|
2005-04-08 13:48:41 +00:00
|
|
|
else if (arg == "--register-substitutes")
|
|
|
|
op = opRegisterSubstitutes;
|
2004-12-20 13:43:32 +00:00
|
|
|
else if (arg == "--clear-substitutes")
|
|
|
|
op = opClearSubstitutes;
|
2005-03-23 11:25:20 +00:00
|
|
|
else if (arg == "--register-validity")
|
|
|
|
op = opRegisterValidity;
|
|
|
|
else if (arg == "--check-validity")
|
|
|
|
op = opCheckValidity;
|
2004-08-25 11:43:49 +00:00
|
|
|
else if (arg == "--gc")
|
|
|
|
op = opGC;
|
2003-06-18 14:34:43 +00:00
|
|
|
else if (arg == "--dump")
|
|
|
|
op = opDump;
|
2003-06-23 14:08:34 +00:00
|
|
|
else if (arg == "--restore")
|
|
|
|
op = opRestore;
|
2003-06-17 21:12:58 +00:00
|
|
|
else if (arg == "--init")
|
|
|
|
op = opInit;
|
2003-07-17 12:27:55 +00:00
|
|
|
else if (arg == "--verify")
|
|
|
|
op = opVerify;
|
2005-02-01 12:36:25 +00:00
|
|
|
else if (arg == "--add-root") {
|
|
|
|
if (i == args.end())
|
|
|
|
throw UsageError("`--add-root requires an argument");
|
2005-02-01 13:48:46 +00:00
|
|
|
gcRoot = absPath(*i++);
|
2005-02-01 12:36:25 +00:00
|
|
|
}
|
2005-02-01 13:48:46 +00:00
|
|
|
else if (arg == "--indirect")
|
|
|
|
indirectRoot = true;
|
2003-06-17 21:12:58 +00:00
|
|
|
else if (arg[0] == '-')
|
|
|
|
opFlags.push_back(arg);
|
|
|
|
else
|
|
|
|
opArgs.push_back(arg);
|
2003-05-25 22:42:19 +00:00
|
|
|
|
2003-06-17 21:12:58 +00:00
|
|
|
if (oldOp && oldOp != op)
|
|
|
|
throw UsageError("only one operation may be specified");
|
2003-05-25 22:42:19 +00:00
|
|
|
}
|
|
|
|
|
2003-06-17 21:12:58 +00:00
|
|
|
if (!op) throw UsageError("no operation specified");
|
2003-03-20 16:53:00 +00:00
|
|
|
|
2004-02-14 21:44:18 +00:00
|
|
|
if (op != opDump && op != opRestore) /* !!! hack */
|
2006-02-16 13:19:15 +00:00
|
|
|
openDB(op != opGC);
|
2003-10-14 15:33:00 +00:00
|
|
|
|
2003-06-17 21:12:58 +00:00
|
|
|
op(opFlags, opArgs);
|
2003-03-20 16:53:00 +00:00
|
|
|
}
|
2003-03-14 16:43:14 +00:00
|
|
|
|
2003-03-24 17:49:56 +00:00
|
|
|
|
2003-11-18 12:06:07 +00:00
|
|
|
string programId = "nix-store";
|