2003-10-29 15:05:18 +00:00
|
|
|
|
#include "globals.hh"
|
|
|
|
|
#include "shared.hh"
|
2003-10-30 16:48:26 +00:00
|
|
|
|
#include "eval.hh"
|
2012-02-04 13:50:25 +00:00
|
|
|
|
#include "eval-inline.hh"
|
2006-02-10 15:14:57 +00:00
|
|
|
|
#include "get-drvs.hh"
|
2006-07-26 15:05:15 +00:00
|
|
|
|
#include "attr-path.hh"
|
2010-04-07 13:59:45 +00:00
|
|
|
|
#include "value-to-xml.hh"
|
2014-06-23 21:30:22 +00:00
|
|
|
|
#include "value-to-json.hh"
|
2006-09-04 21:06:23 +00:00
|
|
|
|
#include "util.hh"
|
2006-11-30 17:43:04 +00:00
|
|
|
|
#include "store-api.hh"
|
2007-01-14 12:32:44 +00:00
|
|
|
|
#include "common-opts.hh"
|
2003-12-01 15:55:05 +00:00
|
|
|
|
|
2010-10-04 17:55:38 +00:00
|
|
|
|
#include <map>
|
|
|
|
|
#include <iostream>
|
|
|
|
|
|
2003-12-01 15:55:05 +00:00
|
|
|
|
|
2006-09-04 21:06:23 +00:00
|
|
|
|
using namespace nix;
|
|
|
|
|
|
|
|
|
|
|
2010-04-12 18:30:11 +00:00
|
|
|
|
static Expr * parseStdin(EvalState & state)
|
2003-10-29 15:05:18 +00:00
|
|
|
|
{
|
2017-05-16 14:09:57 +00:00
|
|
|
|
//Activity act(*logger, lvlTalkative, format("parsing standard input"));
|
2012-08-28 15:47:26 +00:00
|
|
|
|
return state.parseExprFromString(drainFD(0), absPath("."));
|
2003-10-29 15:05:18 +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
|
|
|
|
|
|
|
|
|
|
2014-06-27 09:36:23 +00:00
|
|
|
|
enum OutputKind { okPlain, okXML, okJSON };
|
|
|
|
|
|
|
|
|
|
|
2016-02-11 15:14:42 +00:00
|
|
|
|
void processExpr(EvalState & state, const Strings & attrPaths,
|
2010-10-22 14:47:42 +00:00
|
|
|
|
bool parseOnly, bool strict, Bindings & autoArgs,
|
2014-06-23 21:30:22 +00:00
|
|
|
|
bool evalOnly, OutputKind output, bool location, Expr * e)
|
2006-08-17 08:53:08 +00:00
|
|
|
|
{
|
2013-09-03 11:04:21 +00:00
|
|
|
|
if (parseOnly) {
|
2010-04-12 22:03:27 +00:00
|
|
|
|
std::cout << format("%1%\n") % *e;
|
2013-09-03 11:04:21 +00:00
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
|
2013-09-03 13:17:51 +00:00
|
|
|
|
Value vRoot;
|
|
|
|
|
state.eval(e, vRoot);
|
|
|
|
|
|
2015-07-17 17:24:28 +00:00
|
|
|
|
for (auto & i : attrPaths) {
|
|
|
|
|
Value & v(*findAlongAttrPath(state, i, autoArgs, vRoot));
|
2013-09-03 11:04:21 +00:00
|
|
|
|
state.forceValue(v);
|
|
|
|
|
|
|
|
|
|
PathSet context;
|
2014-05-13 10:54:28 +00:00
|
|
|
|
if (evalOnly) {
|
|
|
|
|
Value vRes;
|
|
|
|
|
if (autoArgs.empty())
|
|
|
|
|
vRes = v;
|
|
|
|
|
else
|
|
|
|
|
state.autoCallFunction(autoArgs, v, vRes);
|
2014-06-27 09:36:23 +00:00
|
|
|
|
if (output == okXML)
|
2014-05-13 10:54:28 +00:00
|
|
|
|
printValueAsXML(state, strict, location, vRes, std::cout, context);
|
2014-06-27 09:36:23 +00:00
|
|
|
|
else if (output == okJSON)
|
2014-06-23 21:30:22 +00:00
|
|
|
|
printValueAsJSON(state, strict, vRes, std::cout, context);
|
2010-04-07 13:59:45 +00:00
|
|
|
|
else {
|
2014-09-22 13:03:59 +00:00
|
|
|
|
if (strict) state.forceValueDeep(vRes);
|
2014-05-13 10:54:28 +00:00
|
|
|
|
std::cout << vRes << std::endl;
|
2013-09-03 11:04:21 +00:00
|
|
|
|
}
|
2014-05-13 10:54:28 +00:00
|
|
|
|
} else {
|
2013-09-03 11:04:21 +00:00
|
|
|
|
DrvInfos drvs;
|
|
|
|
|
getDerivations(state, v, "", autoArgs, drvs, false);
|
2015-07-17 17:24:28 +00:00
|
|
|
|
for (auto & i : drvs) {
|
|
|
|
|
Path drvPath = i.queryDrvPath();
|
2013-09-03 11:04:21 +00:00
|
|
|
|
|
|
|
|
|
/* What output do we want? */
|
2015-07-17 17:24:28 +00:00
|
|
|
|
string outputName = i.queryOutputName();
|
2013-09-03 11:04:21 +00:00
|
|
|
|
if (outputName == "")
|
2016-11-25 23:37:43 +00:00
|
|
|
|
throw Error(format("derivation ‘%1%’ lacks an ‘outputName’ attribute ") % drvPath);
|
2013-09-03 11:04:21 +00:00
|
|
|
|
|
|
|
|
|
if (gcRoot == "")
|
|
|
|
|
printGCWarning();
|
|
|
|
|
else {
|
|
|
|
|
Path rootName = gcRoot;
|
2015-10-29 12:26:55 +00:00
|
|
|
|
if (++rootNr > 1) rootName += "-" + std::to_string(rootNr);
|
2016-06-02 11:33:49 +00:00
|
|
|
|
auto store2 = state.store.dynamic_pointer_cast<LocalFSStore>();
|
|
|
|
|
if (store2)
|
|
|
|
|
drvPath = store2->addPermRoot(drvPath, rootName, indirectRoot);
|
2010-04-07 15:47:06 +00:00
|
|
|
|
}
|
2013-09-03 11:04:21 +00:00
|
|
|
|
std::cout << format("%1%%2%\n") % drvPath % (outputName != "out" ? "!" + outputName : "");
|
2010-03-31 15:38:03 +00:00
|
|
|
|
}
|
|
|
|
|
}
|
2013-09-03 11:04:21 +00:00
|
|
|
|
}
|
2006-08-17 08:53:08 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2014-08-13 01:50:44 +00:00
|
|
|
|
int main(int argc, char * * argv)
|
2003-10-29 15:05:18 +00:00
|
|
|
|
{
|
2014-08-13 01:50:44 +00:00
|
|
|
|
return handleExceptions(argv[0], [&]() {
|
|
|
|
|
initNix();
|
2015-03-19 19:02:37 +00:00
|
|
|
|
initGC();
|
2014-08-13 01:50:44 +00:00
|
|
|
|
|
|
|
|
|
Strings files, searchPath;
|
|
|
|
|
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;
|
|
|
|
|
std::map<string, string> autoArgs_;
|
2017-06-28 16:11:01 +00:00
|
|
|
|
RepairFlag repair = NoRepair;
|
2014-08-13 01:50:44 +00:00
|
|
|
|
|
|
|
|
|
parseCmdLine(argc, argv, [&](Strings::iterator & arg, const Strings::iterator & end) {
|
|
|
|
|
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 (parseAutoArgs(arg, end, autoArgs_))
|
|
|
|
|
;
|
|
|
|
|
else if (parseSearchPathArg(arg, end, searchPath))
|
|
|
|
|
;
|
|
|
|
|
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 16:11:01 +00:00
|
|
|
|
repair = Repair;
|
2014-08-13 01:50:44 +00: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 15:05:18 +00:00
|
|
|
|
|
2015-05-05 15:09:42 +00: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 13:28:26 +00:00
|
|
|
|
auto store = openStore();
|
2015-05-05 15:09:42 +00:00
|
|
|
|
|
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 13:28:26 +00:00
|
|
|
|
EvalState state(searchPath, store);
|
2014-08-13 01:50:44 +00:00
|
|
|
|
state.repair = repair;
|
2014-02-04 15:37:10 +00:00
|
|
|
|
|
2014-09-19 14:49:41 +00:00
|
|
|
|
Bindings & autoArgs(*evalAutoArgs(state, autoArgs_));
|
2007-01-13 18:25:30 +00:00
|
|
|
|
|
2014-08-13 01:50:44 +00:00
|
|
|
|
if (attrPaths.empty()) attrPaths.push_back("");
|
|
|
|
|
|
|
|
|
|
if (findFile) {
|
2015-07-17 17:24:28 +00:00
|
|
|
|
for (auto & i : files) {
|
|
|
|
|
Path p = state.findFile(i);
|
2016-11-25 23:37:43 +00:00
|
|
|
|
if (p == "") throw Error(format("unable to find ‘%1%’") % i);
|
2014-08-13 01:50:44 +00:00
|
|
|
|
std::cout << p << std::endl;
|
|
|
|
|
}
|
|
|
|
|
return;
|
2012-04-17 15:14:14 +00:00
|
|
|
|
}
|
|
|
|
|
|
2014-08-13 01:50:44 +00:00
|
|
|
|
if (readStdin) {
|
|
|
|
|
Expr * e = parseStdin(state);
|
2016-02-11 15:14:42 +00:00
|
|
|
|
processExpr(state, attrPaths, parseOnly, strict, autoArgs,
|
2014-08-13 01:50:44 +00:00
|
|
|
|
evalOnly, outputKind, xmlOutputSourceLocation, e);
|
|
|
|
|
} else if (files.empty() && !fromArgs)
|
|
|
|
|
files.push_back("./default.nix");
|
2003-10-29 15:05:18 +00:00
|
|
|
|
|
2015-05-06 12:54:31 +00:00
|
|
|
|
for (auto & i : files) {
|
2014-08-13 01:50:44 +00:00
|
|
|
|
Expr * e = fromArgs
|
2015-05-06 12:54:31 +00:00
|
|
|
|
? state.parseExprFromString(i, absPath("."))
|
|
|
|
|
: state.parseExprFromFile(resolveExprPath(lookupFileArg(state, i)));
|
2016-02-11 15:14:42 +00:00
|
|
|
|
processExpr(state, attrPaths, parseOnly, strict, autoArgs,
|
2014-08-13 01:50:44 +00:00
|
|
|
|
evalOnly, outputKind, xmlOutputSourceLocation, e);
|
|
|
|
|
}
|
2003-10-29 15:05:18 +00:00
|
|
|
|
|
2014-08-13 01:50:44 +00:00
|
|
|
|
state.printStats();
|
|
|
|
|
});
|
|
|
|
|
}
|