forked from lix-project/lix
6baa2c4420
simplifies stuff. * The format of Nix expressions and the database schema changed because of this, so it's best to delete old Nix installations.
43 lines
1.7 KiB
C++
43 lines
1.7 KiB
C++
#ifndef __NORMALISE_H
|
|
#define __NORMALISE_H
|
|
|
|
#include "expr.hh"
|
|
|
|
|
|
/* Normalise a Nix expression. That is, if the expression is a
|
|
derivation, a path containing an equivalent closure expression is
|
|
returned. This requires that the derivation is performed, unless a
|
|
successor is known. */
|
|
Path normaliseNixExpr(const Path & nePath, PathSet pending = PathSet());
|
|
|
|
/* Realise a closure expression in the file system.
|
|
|
|
The pending paths are those that are already being realised. This
|
|
prevents infinite recursion for paths realised through a substitute
|
|
(since when we build the substitute, we would first try to realise
|
|
its output paths through substitutes... kaboom!). */
|
|
void realiseClosure(const Path & nePath, PathSet pending = PathSet());
|
|
|
|
/* Get the list of root (output) paths of the given Nix expression. */
|
|
PathSet nixExprRoots(const Path & nePath);
|
|
|
|
/* Get the list of paths that are required to realise the given
|
|
expression. For a derive expression, this is the union of
|
|
requisites of the inputs; for a closure expression, it is the path of
|
|
each element in the closure. If `includeExprs' is true, include the
|
|
paths of the Nix expressions themselves. If `includeSuccessors' is
|
|
true, include the requisites of successors. */
|
|
PathSet nixExprRequisites(const Path & nePath,
|
|
bool includeExprs, bool includeSuccessors);
|
|
|
|
/* Return the list of the paths of all known Nix expressions whose
|
|
output paths are completely contained in the set `outputs'. */
|
|
PathSet findGenerators(const PathSet & outputs);
|
|
|
|
/* Register a successor. */
|
|
void registerSuccessor(const Transaction & txn,
|
|
const Path & path1, const Path & path2);
|
|
|
|
|
|
#endif /* !__NORMALISE_H */
|