2003-10-29 17:05:18 +02:00
|
|
|
#include "globals.hh"
|
|
|
|
#include "shared.hh"
|
2003-10-30 18:48:26 +02:00
|
|
|
#include "eval.hh"
|
2012-02-04 15:50:25 +02:00
|
|
|
#include "eval-inline.hh"
|
2006-02-10 17:14:57 +02:00
|
|
|
#include "get-drvs.hh"
|
2006-07-26 18:05:15 +03:00
|
|
|
#include "attr-path.hh"
|
2010-04-07 16:59:45 +03:00
|
|
|
#include "value-to-xml.hh"
|
2014-06-24 00:30:22 +03:00
|
|
|
#include "value-to-json.hh"
|
2006-09-05 00:06:23 +03:00
|
|
|
#include "util.hh"
|
2006-11-30 19:43:04 +02:00
|
|
|
#include "store-api.hh"
|
2017-10-24 13:45:11 +03:00
|
|
|
#include "common-eval-args.hh"
|
2003-12-01 17:55:05 +02:00
|
|
|
|
2010-10-04 20:55:38 +03:00
|
|
|
#include <map>
|
|
|
|
#include <iostream>
|
|
|
|
|
2003-12-01 17:55:05 +02:00
|
|
|
|
2006-09-05 00:06:23 +03:00
|
|
|
using namespace nix;
|
|
|
|
|
|
|
|
|
2005-02-01 14:36:25 +02:00
|
|
|
static Path gcRoot;
|
|
|
|
static int rootNr = 0;
|
2005-02-01 15:48:46 +02:00
|
|
|
static bool indirectRoot = false;
|
2005-02-01 14:36:25 +02:00
|
|
|
|
|
|
|
|
2014-06-27 12:36:23 +03:00
|
|
|
enum OutputKind { okPlain, okXML, okJSON };
|
|
|
|
|
|
|
|
|
2016-02-11 17:14:42 +02:00
|
|
|
void processExpr(EvalState & state, const Strings & attrPaths,
|
2010-10-22 17:47:42 +03:00
|
|
|
bool parseOnly, bool strict, Bindings & autoArgs,
|
2014-06-24 00:30:22 +03:00
|
|
|
bool evalOnly, OutputKind output, bool location, Expr * e)
|
2006-08-17 11:53:08 +03:00
|
|
|
{
|
2013-09-03 14:04:21 +03:00
|
|
|
if (parseOnly) {
|
2010-04-13 01:03:27 +03:00
|
|
|
std::cout << format("%1%\n") % *e;
|
2013-09-03 14:04:21 +03:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2013-09-03 16:17:51 +03:00
|
|
|
Value vRoot;
|
|
|
|
state.eval(e, vRoot);
|
|
|
|
|
2015-07-17 20:24:28 +03:00
|
|
|
for (auto & i : attrPaths) {
|
|
|
|
Value & v(*findAlongAttrPath(state, i, autoArgs, vRoot));
|
2013-09-03 14:04:21 +03:00
|
|
|
state.forceValue(v);
|
|
|
|
|
|
|
|
PathSet context;
|
2014-05-13 13:54:28 +03:00
|
|
|
if (evalOnly) {
|
|
|
|
Value vRes;
|
|
|
|
if (autoArgs.empty())
|
|
|
|
vRes = v;
|
|
|
|
else
|
|
|
|
state.autoCallFunction(autoArgs, v, vRes);
|
2014-06-27 12:36:23 +03:00
|
|
|
if (output == okXML)
|
2014-05-13 13:54:28 +03:00
|
|
|
printValueAsXML(state, strict, location, vRes, std::cout, context);
|
2014-06-27 12:36:23 +03:00
|
|
|
else if (output == okJSON)
|
2014-06-24 00:30:22 +03:00
|
|
|
printValueAsJSON(state, strict, vRes, std::cout, context);
|
2010-04-07 16:59:45 +03:00
|
|
|
else {
|
2014-09-22 16:03:59 +03:00
|
|
|
if (strict) state.forceValueDeep(vRes);
|
2014-05-13 13:54:28 +03:00
|
|
|
std::cout << vRes << std::endl;
|
2013-09-03 14:04:21 +03:00
|
|
|
}
|
2014-05-13 13:54:28 +03:00
|
|
|
} else {
|
2013-09-03 14:04:21 +03:00
|
|
|
DrvInfos drvs;
|
|
|
|
getDerivations(state, v, "", autoArgs, drvs, false);
|
2015-07-17 20:24:28 +03:00
|
|
|
for (auto & i : drvs) {
|
|
|
|
Path drvPath = i.queryDrvPath();
|
2013-09-03 14:04:21 +03:00
|
|
|
|
|
|
|
/* What output do we want? */
|
2015-07-17 20:24:28 +03:00
|
|
|
string outputName = i.queryOutputName();
|
2013-09-03 14:04:21 +03:00
|
|
|
if (outputName == "")
|
2017-07-30 14:27:57 +03:00
|
|
|
throw Error(format("derivation '%1%' lacks an 'outputName' attribute ") % drvPath);
|
2013-09-03 14:04:21 +03:00
|
|
|
|
|
|
|
if (gcRoot == "")
|
|
|
|
printGCWarning();
|
|
|
|
else {
|
2018-03-17 00:15:24 +02:00
|
|
|
Path rootName = indirectRoot ? absPath(gcRoot) : gcRoot;
|
2015-10-29 14:26:55 +02:00
|
|
|
if (++rootNr > 1) rootName += "-" + std::to_string(rootNr);
|
2016-06-02 14:33:49 +03:00
|
|
|
auto store2 = state.store.dynamic_pointer_cast<LocalFSStore>();
|
|
|
|
if (store2)
|
|
|
|
drvPath = store2->addPermRoot(drvPath, rootName, indirectRoot);
|
2010-04-07 18:47:06 +03:00
|
|
|
}
|
2013-09-03 14:04:21 +03:00
|
|
|
std::cout << format("%1%%2%\n") % drvPath % (outputName != "out" ? "!" + outputName : "");
|
2010-03-31 18:38:03 +03:00
|
|
|
}
|
|
|
|
}
|
2013-09-03 14:04:21 +03:00
|
|
|
}
|
2006-08-17 11:53:08 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2014-08-13 04:50:44 +03:00
|
|
|
int main(int argc, char * * argv)
|
2003-10-29 17:05:18 +02:00
|
|
|
{
|
2014-08-13 04:50:44 +03:00
|
|
|
return handleExceptions(argv[0], [&]() {
|
|
|
|
initNix();
|
2015-03-19 21:02:37 +02:00
|
|
|
initGC();
|
2014-08-13 04:50:44 +03:00
|
|
|
|
2017-10-24 13:45:11 +03:00
|
|
|
Strings files;
|
2014-08-13 04:50:44 +03:00
|
|
|
bool readStdin = false;
|
|
|
|
bool fromArgs = false;
|
|
|
|
bool findFile = false;
|
|
|
|
bool evalOnly = false;
|
|
|
|
bool parseOnly = false;
|
|
|
|
OutputKind outputKind = okPlain;
|
|
|
|
bool xmlOutputSourceLocation = true;
|
|
|
|
bool strict = false;
|
|
|
|
Strings attrPaths;
|
|
|
|
bool wantsReadWrite = false;
|
2017-06-28 19:11:01 +03:00
|
|
|
RepairFlag repair = NoRepair;
|
2014-08-13 04:50:44 +03:00
|
|
|
|
2017-10-24 13:45:11 +03:00
|
|
|
struct MyArgs : LegacyArgs, MixEvalArgs
|
|
|
|
{
|
|
|
|
using LegacyArgs::LegacyArgs;
|
|
|
|
};
|
|
|
|
|
|
|
|
MyArgs myArgs(baseNameOf(argv[0]), [&](Strings::iterator & arg, const Strings::iterator & end) {
|
2014-08-13 04:50:44 +03:00
|
|
|
if (*arg == "--help")
|
|
|
|
showManPage("nix-instantiate");
|
|
|
|
else if (*arg == "--version")
|
|
|
|
printVersion("nix-instantiate");
|
|
|
|
else if (*arg == "-")
|
|
|
|
readStdin = true;
|
|
|
|
else if (*arg == "--expr" || *arg == "-E")
|
|
|
|
fromArgs = true;
|
|
|
|
else if (*arg == "--eval" || *arg == "--eval-only")
|
|
|
|
evalOnly = true;
|
|
|
|
else if (*arg == "--read-write-mode")
|
|
|
|
wantsReadWrite = true;
|
|
|
|
else if (*arg == "--parse" || *arg == "--parse-only")
|
|
|
|
parseOnly = evalOnly = true;
|
|
|
|
else if (*arg == "--find-file")
|
|
|
|
findFile = true;
|
|
|
|
else if (*arg == "--attr" || *arg == "-A")
|
|
|
|
attrPaths.push_back(getArg(*arg, arg, end));
|
|
|
|
else if (*arg == "--add-root")
|
|
|
|
gcRoot = getArg(*arg, arg, end);
|
|
|
|
else if (*arg == "--indirect")
|
|
|
|
indirectRoot = true;
|
|
|
|
else if (*arg == "--xml")
|
|
|
|
outputKind = okXML;
|
|
|
|
else if (*arg == "--json")
|
|
|
|
outputKind = okJSON;
|
|
|
|
else if (*arg == "--no-location")
|
|
|
|
xmlOutputSourceLocation = false;
|
|
|
|
else if (*arg == "--strict")
|
|
|
|
strict = true;
|
|
|
|
else if (*arg == "--repair")
|
2017-06-28 19:11:01 +03:00
|
|
|
repair = Repair;
|
2014-08-13 04:50:44 +03:00
|
|
|
else if (*arg == "--dry-run")
|
|
|
|
settings.readOnlyMode = true;
|
|
|
|
else if (*arg != "" && arg->at(0) == '-')
|
|
|
|
return false;
|
|
|
|
else
|
|
|
|
files.push_back(*arg);
|
|
|
|
return true;
|
|
|
|
});
|
2003-10-29 17:05:18 +02:00
|
|
|
|
2017-10-24 13:45:11 +03:00
|
|
|
myArgs.parseCmdline(argvToStrings(argc, argv));
|
|
|
|
|
2018-02-08 18:26:18 +02:00
|
|
|
initPlugins();
|
|
|
|
|
2015-05-05 18:09:42 +03:00
|
|
|
if (evalOnly && !wantsReadWrite)
|
|
|
|
settings.readOnlyMode = true;
|
|
|
|
|
Eliminate the "store" global variable
Also, move a few free-standing functions into StoreAPI and Derivation.
Also, introduce a non-nullable smart pointer, ref<T>, which is just a
wrapper around std::shared_ptr ensuring that the pointer is never
null. (For reference-counted values, this is better than passing a
"T&", because the latter doesn't maintain the refcount. Usually, the
caller will have a shared_ptr keeping the value alive, but that's not
always the case, e.g., when passing a reference to a std::thread via
std::bind.)
2016-02-04 15:28:26 +02:00
|
|
|
auto store = openStore();
|
2015-05-05 18:09:42 +03:00
|
|
|
|
2018-06-12 18:26:36 +03:00
|
|
|
auto state = std::make_unique<EvalState>(myArgs.searchPath, store);
|
|
|
|
state->repair = repair;
|
2014-02-04 17:37:10 +02:00
|
|
|
|
2018-06-12 18:26:36 +03:00
|
|
|
Bindings & autoArgs = *myArgs.getAutoArgs(*state);
|
2007-01-13 20:25:30 +02:00
|
|
|
|
2017-07-25 16:09:06 +03:00
|
|
|
if (attrPaths.empty()) attrPaths = {""};
|
2014-08-13 04:50:44 +03:00
|
|
|
|
|
|
|
if (findFile) {
|
2015-07-17 20:24:28 +03:00
|
|
|
for (auto & i : files) {
|
2018-06-12 18:26:36 +03:00
|
|
|
Path p = state->findFile(i);
|
2017-07-30 14:27:57 +03:00
|
|
|
if (p == "") throw Error(format("unable to find '%1%'") % i);
|
2014-08-13 04:50:44 +03:00
|
|
|
std::cout << p << std::endl;
|
|
|
|
}
|
|
|
|
return;
|
2012-04-17 18:14:14 +03:00
|
|
|
}
|
|
|
|
|
2014-08-13 04:50:44 +03:00
|
|
|
if (readStdin) {
|
2018-06-12 18:26:36 +03:00
|
|
|
Expr * e = state->parseStdin();
|
|
|
|
processExpr(*state, attrPaths, parseOnly, strict, autoArgs,
|
2014-08-13 04:50:44 +03:00
|
|
|
evalOnly, outputKind, xmlOutputSourceLocation, e);
|
|
|
|
} else if (files.empty() && !fromArgs)
|
|
|
|
files.push_back("./default.nix");
|
2003-10-29 17:05:18 +02:00
|
|
|
|
2015-05-06 15:54:31 +03:00
|
|
|
for (auto & i : files) {
|
2014-08-13 04:50:44 +03:00
|
|
|
Expr * e = fromArgs
|
2018-06-12 18:26:36 +03:00
|
|
|
? state->parseExprFromString(i, absPath("."))
|
|
|
|
: state->parseExprFromFile(resolveExprPath(state->checkSourcePath(lookupFileArg(*state, i))));
|
|
|
|
processExpr(*state, attrPaths, parseOnly, strict, autoArgs,
|
2014-08-13 04:50:44 +03:00
|
|
|
evalOnly, outputKind, xmlOutputSourceLocation, e);
|
|
|
|
}
|
2003-10-29 17:05:18 +02:00
|
|
|
|
2018-06-12 18:26:36 +03:00
|
|
|
state->printStats();
|
2014-08-13 04:50:44 +03:00
|
|
|
});
|
|
|
|
}
|