2003-10-29 17:05:18 +02:00
|
|
|
#include <map>
|
|
|
|
#include <iostream>
|
|
|
|
|
|
|
|
#include "globals.hh"
|
|
|
|
#include "normalise.hh"
|
|
|
|
#include "shared.hh"
|
2003-10-30 18:48:26 +02:00
|
|
|
#include "eval.hh"
|
2003-11-22 20:45:56 +02:00
|
|
|
#include "parser.hh"
|
2004-10-27 01:54:26 +03:00
|
|
|
#include "constructors.hh"
|
2003-12-01 17:55:05 +02:00
|
|
|
#include "help.txt.hh"
|
|
|
|
|
|
|
|
|
|
|
|
void printHelp()
|
|
|
|
{
|
|
|
|
cout << string((char *) helpText, sizeof helpText);
|
|
|
|
}
|
2003-10-29 17:05:18 +02:00
|
|
|
|
|
|
|
|
2004-10-26 19:59:36 +03:00
|
|
|
static Expr evalStdin(EvalState & state, bool parseOnly)
|
2003-10-29 17:05:18 +02:00
|
|
|
{
|
2003-11-09 12:35:45 +02:00
|
|
|
startNest(nest, lvlTalkative, format("evaluating standard input"));
|
2003-11-22 20:45:56 +02:00
|
|
|
string s, s2;
|
|
|
|
while (getline(cin, s2)) s += s2 + "\n";
|
2004-02-04 18:03:29 +02:00
|
|
|
Expr e = parseExprFromString(state, s, absPath("."));
|
2004-10-26 19:59:36 +03:00
|
|
|
return parseOnly ? e : evalExpr(state, e);
|
2003-10-29 17:05:18 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2004-10-26 19:59:36 +03:00
|
|
|
static void printDrvPaths(EvalState & state, Expr e)
|
2003-10-29 17:05:18 +02:00
|
|
|
{
|
2003-11-16 19:46:31 +02:00
|
|
|
ATMatcher m;
|
2003-10-29 17:05:18 +02:00
|
|
|
ATermList es;
|
2003-10-31 19:09:31 +02:00
|
|
|
|
2004-07-01 17:25:26 +03:00
|
|
|
/* !!! duplication w.r.t. parseDerivations in nix-env */
|
|
|
|
|
2004-10-27 01:54:26 +03:00
|
|
|
if (matchAttrs(e, es)) {
|
2003-10-31 19:09:31 +02:00
|
|
|
Expr a = queryAttr(e, "type");
|
|
|
|
if (a && evalString(state, a) == "derivation") {
|
|
|
|
a = queryAttr(e, "drvPath");
|
|
|
|
if (a) {
|
|
|
|
cout << format("%1%\n") % evalPath(state, a);
|
|
|
|
return;
|
|
|
|
}
|
2004-07-01 17:25:26 +03:00
|
|
|
throw Error("bad derivation");
|
|
|
|
} else {
|
|
|
|
ATermMap drvMap;
|
|
|
|
queryAllAttrs(e, drvMap);
|
|
|
|
for (ATermIterator i(drvMap.keys()); i; ++i)
|
2004-10-26 19:59:36 +03:00
|
|
|
printDrvPaths(state, evalExpr(state, drvMap.get(*i)));
|
2004-07-01 17:25:26 +03:00
|
|
|
return;
|
2003-10-31 19:09:31 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2004-10-27 01:54:26 +03:00
|
|
|
if (matchList(e, es)) {
|
2003-11-22 22:39:51 +02:00
|
|
|
for (ATermIterator i(es); i; ++i)
|
2004-10-26 19:59:36 +03:00
|
|
|
printDrvPaths(state, evalExpr(state, *i));
|
2003-10-31 19:09:31 +02:00
|
|
|
return;
|
2003-10-29 17:05:18 +02:00
|
|
|
}
|
2003-10-31 19:09:31 +02:00
|
|
|
|
2004-04-06 01:27:41 +03:00
|
|
|
throw Error("expression does not evaluate to one or more derivations");
|
2003-10-29 17:05:18 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2004-10-26 19:59:36 +03:00
|
|
|
static void printResult(EvalState & state, Expr e, bool evalOnly)
|
|
|
|
{
|
|
|
|
if (evalOnly)
|
|
|
|
cout << format("%1%\n") % e;
|
|
|
|
else
|
|
|
|
printDrvPaths(state, e);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2003-10-29 17:05:18 +02:00
|
|
|
void run(Strings args)
|
|
|
|
{
|
|
|
|
EvalState state;
|
|
|
|
Strings files;
|
|
|
|
bool readStdin = false;
|
2004-10-26 19:59:36 +03:00
|
|
|
bool evalOnly = false;
|
|
|
|
bool parseOnly = false;
|
2003-10-29 17:05:18 +02:00
|
|
|
|
|
|
|
for (Strings::iterator it = args.begin();
|
|
|
|
it != args.end(); )
|
|
|
|
{
|
|
|
|
string arg = *it++;
|
|
|
|
|
2003-12-01 17:55:05 +02:00
|
|
|
if (arg == "-")
|
2003-10-29 17:05:18 +02:00
|
|
|
readStdin = true;
|
2004-10-26 19:59:36 +03:00
|
|
|
else if (arg == "--eval-only") {
|
|
|
|
readOnlyMode = true;
|
|
|
|
evalOnly = true;
|
|
|
|
}
|
|
|
|
else if (arg == "--parse-only") {
|
|
|
|
readOnlyMode = true;
|
|
|
|
parseOnly = evalOnly = true;
|
|
|
|
}
|
2003-10-29 17:05:18 +02:00
|
|
|
else if (arg[0] == '-')
|
|
|
|
throw UsageError(format("unknown flag `%1%`") % arg);
|
|
|
|
else
|
|
|
|
files.push_back(arg);
|
|
|
|
}
|
|
|
|
|
|
|
|
openDB();
|
|
|
|
|
|
|
|
if (readStdin) {
|
2004-10-26 19:59:36 +03:00
|
|
|
Expr e = evalStdin(state, parseOnly);
|
|
|
|
printResult(state, e, evalOnly);
|
2003-10-29 17:05:18 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
for (Strings::iterator it = files.begin();
|
|
|
|
it != files.end(); it++)
|
|
|
|
{
|
2003-10-30 18:10:56 +02:00
|
|
|
Expr e = evalFile(state, absPath(*it));
|
2004-10-26 19:59:36 +03:00
|
|
|
/* !!! parseOnly ignored */
|
|
|
|
printResult(state, e, evalOnly);
|
2003-10-29 17:05:18 +02:00
|
|
|
}
|
2003-10-31 19:09:31 +02:00
|
|
|
|
|
|
|
printEvalStats(state);
|
2003-10-29 17:05:18 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2003-11-18 14:06:07 +02:00
|
|
|
string programId = "nix-instantiate";
|