2019-10-14 12:40:16 +00:00
|
|
|
#include "installables.hh"
|
2017-04-25 10:06:32 +00:00
|
|
|
#include "command.hh"
|
2016-02-09 20:34:24 +00:00
|
|
|
#include "attr-path.hh"
|
2017-10-24 10:45:11 +00:00
|
|
|
#include "common-eval-args.hh"
|
2016-02-09 20:34:24 +00:00
|
|
|
#include "derivations.hh"
|
|
|
|
#include "eval-inline.hh"
|
|
|
|
#include "eval.hh"
|
|
|
|
#include "get-drvs.hh"
|
|
|
|
#include "store-api.hh"
|
2017-04-25 09:20:37 +00:00
|
|
|
#include "shared.hh"
|
2019-06-05 14:51:54 +00:00
|
|
|
#include "flake/flake.hh"
|
2019-06-07 20:25:48 +00:00
|
|
|
#include "flake/eval-cache.hh"
|
2017-04-25 09:20:37 +00:00
|
|
|
|
|
|
|
#include <regex>
|
2019-05-23 21:42:13 +00:00
|
|
|
#include <queue>
|
2016-02-09 20:34:24 +00:00
|
|
|
|
|
|
|
namespace nix {
|
|
|
|
|
2019-05-22 11:46:07 +00:00
|
|
|
MixFlakeOptions::MixFlakeOptions()
|
2017-10-24 10:45:11 +00:00
|
|
|
{
|
2019-04-16 13:02:02 +00:00
|
|
|
mkFlag()
|
2019-05-01 09:38:48 +00:00
|
|
|
.longName("recreate-lock-file")
|
|
|
|
.description("recreate lock file from scratch")
|
|
|
|
.set(&recreateLockFile, true);
|
2019-05-14 09:34:45 +00:00
|
|
|
|
|
|
|
mkFlag()
|
2019-05-22 11:46:07 +00:00
|
|
|
.longName("no-save-lock-file")
|
|
|
|
.description("do not save the newly generated lock file")
|
2019-05-14 09:34:45 +00:00
|
|
|
.set(&saveLockFile, false);
|
|
|
|
|
|
|
|
mkFlag()
|
|
|
|
.longName("no-registries")
|
|
|
|
.description("don't use flake registries")
|
2019-05-22 11:46:07 +00:00
|
|
|
.set(&useRegistries, false);
|
|
|
|
}
|
|
|
|
|
2019-05-29 13:31:07 +00:00
|
|
|
flake::HandleLockFile MixFlakeOptions::getLockFileMode()
|
2019-05-22 11:46:07 +00:00
|
|
|
{
|
2019-05-29 13:31:07 +00:00
|
|
|
using namespace flake;
|
2019-05-22 11:46:07 +00:00
|
|
|
return
|
|
|
|
useRegistries
|
|
|
|
? recreateLockFile
|
|
|
|
? (saveLockFile ? RecreateLockFile : UseNewLockFile)
|
|
|
|
: (saveLockFile ? UpdateLockFile : UseUpdatedLockFile)
|
|
|
|
: AllPure;
|
|
|
|
}
|
|
|
|
|
|
|
|
SourceExprCommand::SourceExprCommand()
|
|
|
|
{
|
|
|
|
mkFlag()
|
|
|
|
.shortName('f')
|
|
|
|
.longName("file")
|
|
|
|
.label("file")
|
|
|
|
.description("evaluate a set of attributes from FILE (deprecated)")
|
|
|
|
.dest(&file);
|
2017-10-24 10:45:11 +00:00
|
|
|
}
|
|
|
|
|
Support non-x86_64-linux system types in flakes
A command like
$ nix run nixpkgs#hello
will now build the attribute 'packages.${system}.hello' rather than
'packages.hello'. Note that this does mean that the flake needs to
export an attribute for every system type it supports, and you can't
build on unsupported systems. So 'packages' typically looks like this:
packages = nixpkgs.lib.genAttrs ["x86_64-linux" "i686-linux"] (system: {
hello = ...;
});
The 'checks', 'defaultPackage', 'devShell', 'apps' and 'defaultApp'
outputs similarly are now attrsets that map system types to
derivations/apps. 'nix flake check' checks that the derivations for
all platforms evaluate correctly, but only builds the derivations in
'checks.${system}'.
Fixes #2861. (That issue also talks about access to ~/.config/nixpkgs
and --arg, but I think it's reasonable to say that flakes shouldn't
support those.)
The alternative to attribute selection is to pass the system type as
an argument to the flake's 'outputs' function, e.g. 'outputs = { self,
nixpkgs, system }: ...'. However, that approach would be at odds with
hermetic evaluation and make it impossible to enumerate the packages
provided by a flake.
2019-10-15 15:52:10 +00:00
|
|
|
Strings SourceExprCommand::getDefaultFlakeAttrPaths()
|
|
|
|
{
|
|
|
|
return {"defaultPackage." + settings.thisSystem.get()};
|
|
|
|
}
|
|
|
|
|
|
|
|
Strings SourceExprCommand::getDefaultFlakeAttrPathPrefixes()
|
|
|
|
{
|
|
|
|
return {
|
|
|
|
// As a convenience, look for the attribute in
|
|
|
|
// 'outputs.packages'.
|
|
|
|
"packages." + settings.thisSystem.get() + ".",
|
|
|
|
// As a temporary hack until Nixpkgs is properly converted
|
|
|
|
// to provide a clean 'packages' set, look in 'legacyPackages'.
|
|
|
|
"legacyPackages." + settings.thisSystem.get() + "."
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
2019-05-16 20:48:16 +00:00
|
|
|
ref<EvalState> EvalCommand::getEvalState()
|
2017-07-17 17:02:56 +00:00
|
|
|
{
|
2019-10-08 14:44:09 +00:00
|
|
|
if (!evalState) {
|
2017-10-24 10:45:11 +00:00
|
|
|
evalState = std::make_shared<EvalState>(searchPath, getStore());
|
2019-10-08 14:44:09 +00:00
|
|
|
evalState->addRegistryOverrides(registryOverrides);
|
|
|
|
}
|
2017-07-17 17:02:56 +00:00
|
|
|
return ref<EvalState>(evalState);
|
|
|
|
}
|
|
|
|
|
2017-09-06 14:03:22 +00:00
|
|
|
Buildable Installable::toBuildable()
|
|
|
|
{
|
|
|
|
auto buildables = toBuildables();
|
|
|
|
if (buildables.size() != 1)
|
|
|
|
throw Error("installable '%s' evaluates to %d derivations, where only one is expected", what(), buildables.size());
|
|
|
|
return std::move(buildables[0]);
|
|
|
|
}
|
|
|
|
|
2019-06-17 15:59:57 +00:00
|
|
|
App::App(EvalState & state, Value & vApp)
|
2019-05-31 21:45:13 +00:00
|
|
|
{
|
2019-06-17 15:59:57 +00:00
|
|
|
state.forceAttrs(vApp);
|
2019-05-31 21:45:13 +00:00
|
|
|
|
2019-06-17 15:59:57 +00:00
|
|
|
auto aType = vApp.attrs->need(state.sType);
|
2019-05-31 21:45:13 +00:00
|
|
|
if (state.forceStringNoCtx(*aType.value, *aType.pos) != "app")
|
|
|
|
throw Error("value does not have type 'app', at %s", *aType.pos);
|
|
|
|
|
2019-06-17 15:59:57 +00:00
|
|
|
auto aProgram = vApp.attrs->need(state.symbols.create("program"));
|
|
|
|
program = state.forceString(*aProgram.value, context, *aProgram.pos);
|
2019-05-31 21:45:13 +00:00
|
|
|
|
|
|
|
// FIXME: check that 'program' is in the closure of 'context'.
|
2019-06-17 15:59:57 +00:00
|
|
|
if (!state.store->isInStore(program))
|
|
|
|
throw Error("app program '%s' is not in the Nix store", program);
|
|
|
|
}
|
2019-05-31 21:45:13 +00:00
|
|
|
|
2019-06-17 15:59:57 +00:00
|
|
|
App Installable::toApp(EvalState & state)
|
|
|
|
{
|
|
|
|
return App(state, *toValue(state));
|
2019-05-31 21:45:13 +00:00
|
|
|
}
|
|
|
|
|
2017-04-25 09:20:37 +00:00
|
|
|
struct InstallableStorePath : Installable
|
2016-02-09 20:34:24 +00:00
|
|
|
{
|
2017-04-25 09:20:37 +00:00
|
|
|
Path storePath;
|
|
|
|
|
|
|
|
InstallableStorePath(const Path & storePath) : storePath(storePath) { }
|
|
|
|
|
|
|
|
std::string what() override { return storePath; }
|
|
|
|
|
2017-09-06 14:03:22 +00:00
|
|
|
Buildables toBuildables() override
|
2017-04-25 09:20:37 +00:00
|
|
|
{
|
2018-08-10 09:34:41 +00:00
|
|
|
return {{isDerivation(storePath) ? storePath : "", {{"out", storePath}}}};
|
2017-04-25 09:20:37 +00:00
|
|
|
}
|
2019-07-12 14:28:39 +00:00
|
|
|
|
|
|
|
std::optional<Path> getStorePath() override
|
|
|
|
{
|
|
|
|
return storePath;
|
|
|
|
}
|
2017-04-25 09:20:37 +00:00
|
|
|
};
|
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
std::vector<flake::EvalCache::Derivation> InstallableValue::toDerivations()
|
2017-04-25 09:20:37 +00:00
|
|
|
{
|
2019-10-14 12:40:16 +00:00
|
|
|
auto state = cmd.getEvalState();
|
2017-04-25 09:20:37 +00:00
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
auto v = toValue(*state);
|
2017-04-25 09:20:37 +00:00
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
Bindings & autoArgs = *cmd.getAutoArgs(*state);
|
2017-04-25 09:20:37 +00:00
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
DrvInfos drvInfos;
|
|
|
|
getDerivations(*state, *v, "", autoArgs, drvInfos, false);
|
2019-06-07 20:25:48 +00:00
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
std::vector<flake::EvalCache::Derivation> res;
|
|
|
|
for (auto & drvInfo : drvInfos) {
|
|
|
|
res.push_back({
|
|
|
|
drvInfo.queryDrvPath(),
|
|
|
|
drvInfo.queryOutPath(),
|
|
|
|
drvInfo.queryOutputName()
|
|
|
|
});
|
2019-06-07 20:25:48 +00:00
|
|
|
}
|
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
return res;
|
|
|
|
}
|
2017-04-25 09:20:37 +00:00
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
Buildables InstallableValue::toBuildables()
|
|
|
|
{
|
|
|
|
Buildables res;
|
2017-09-06 14:03:22 +00:00
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
PathSet drvPaths;
|
2017-09-06 14:03:22 +00:00
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
for (auto & drv : toDerivations()) {
|
|
|
|
Buildable b{drv.drvPath};
|
|
|
|
drvPaths.insert(b.drvPath);
|
2017-09-06 14:03:22 +00:00
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
auto outputName = drv.outputName;
|
|
|
|
if (outputName == "")
|
|
|
|
throw Error("derivation '%s' lacks an 'outputName' attribute", b.drvPath);
|
2017-04-25 09:20:37 +00:00
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
b.outputs.emplace(outputName, drv.outPath);
|
2017-09-06 14:03:22 +00:00
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
res.push_back(std::move(b));
|
2017-04-25 09:20:37 +00:00
|
|
|
}
|
2019-10-14 12:40:16 +00:00
|
|
|
|
|
|
|
// Hack to recognize .all: if all drvs have the same drvPath,
|
|
|
|
// merge the buildables.
|
|
|
|
if (drvPaths.size() == 1) {
|
|
|
|
Buildable b{*drvPaths.begin()};
|
|
|
|
for (auto & b2 : res)
|
|
|
|
b.outputs.insert(b2.outputs.begin(), b2.outputs.end());
|
|
|
|
return {b};
|
|
|
|
} else
|
|
|
|
return res;
|
|
|
|
}
|
2017-08-29 14:18:00 +00:00
|
|
|
|
|
|
|
struct InstallableExpr : InstallableValue
|
|
|
|
{
|
|
|
|
std::string text;
|
|
|
|
|
|
|
|
InstallableExpr(SourceExprCommand & cmd, const std::string & text)
|
|
|
|
: InstallableValue(cmd), text(text) { }
|
|
|
|
|
|
|
|
std::string what() override { return text; }
|
2017-04-25 09:20:37 +00:00
|
|
|
|
|
|
|
Value * toValue(EvalState & state) override
|
|
|
|
{
|
|
|
|
auto v = state.allocValue();
|
|
|
|
state.eval(state.parseExprFromString(text, absPath(".")), *v);
|
|
|
|
return v;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2017-08-29 14:18:00 +00:00
|
|
|
struct InstallableAttrPath : InstallableValue
|
2017-04-25 09:20:37 +00:00
|
|
|
{
|
2019-04-08 14:11:17 +00:00
|
|
|
Value * v;
|
2017-04-25 09:20:37 +00:00
|
|
|
std::string attrPath;
|
|
|
|
|
2019-04-08 14:11:17 +00:00
|
|
|
InstallableAttrPath(SourceExprCommand & cmd, Value * v, const std::string & attrPath)
|
|
|
|
: InstallableValue(cmd), v(v), attrPath(attrPath)
|
2017-04-25 09:20:37 +00:00
|
|
|
{ }
|
|
|
|
|
|
|
|
std::string what() override { return attrPath; }
|
|
|
|
|
|
|
|
Value * toValue(EvalState & state) override
|
|
|
|
{
|
2019-04-08 14:11:17 +00:00
|
|
|
auto vRes = findAlongAttrPath(state, attrPath, *cmd.getAutoArgs(state), *v);
|
|
|
|
state.forceValue(*vRes);
|
|
|
|
return vRes;
|
2017-04-25 09:20:37 +00:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2019-05-29 13:31:07 +00:00
|
|
|
void makeFlakeClosureGCRoot(Store & store,
|
|
|
|
const FlakeRef & origFlakeRef,
|
|
|
|
const flake::ResolvedFlake & resFlake)
|
2019-05-23 21:42:13 +00:00
|
|
|
{
|
|
|
|
if (std::get_if<FlakeRef::IsPath>(&origFlakeRef.data)) return;
|
|
|
|
|
|
|
|
/* Get the store paths of all non-local flakes. */
|
|
|
|
PathSet closure;
|
|
|
|
|
2019-06-04 17:45:16 +00:00
|
|
|
assert(store.isValidPath(resFlake.flake.sourceInfo.storePath));
|
|
|
|
closure.insert(resFlake.flake.sourceInfo.storePath);
|
|
|
|
|
2019-08-30 14:27:51 +00:00
|
|
|
std::queue<std::reference_wrapper<const flake::LockedInputs>> queue;
|
2019-06-04 17:45:16 +00:00
|
|
|
queue.push(resFlake.lockFile);
|
2019-05-23 21:42:13 +00:00
|
|
|
|
|
|
|
while (!queue.empty()) {
|
2019-08-30 14:27:51 +00:00
|
|
|
const flake::LockedInputs & flake = queue.front();
|
2019-05-23 21:42:13 +00:00
|
|
|
queue.pop();
|
2019-06-04 17:45:16 +00:00
|
|
|
/* Note: due to lazy fetching, these paths might not exist
|
|
|
|
yet. */
|
2019-08-30 14:27:51 +00:00
|
|
|
for (auto & dep : flake.inputs) {
|
2019-06-04 18:34:08 +00:00
|
|
|
auto path = dep.second.computeStorePath(store);
|
|
|
|
if (store.isValidPath(path))
|
|
|
|
closure.insert(path);
|
2019-05-23 21:42:13 +00:00
|
|
|
queue.push(dep.second);
|
2019-06-04 17:45:16 +00:00
|
|
|
}
|
2019-05-23 21:42:13 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
if (closure.empty()) return;
|
|
|
|
|
|
|
|
/* Write the closure to a file in the store. */
|
|
|
|
auto closurePath = store.addTextToStore("flake-closure", concatStringsSep(" ", closure), closure);
|
|
|
|
|
|
|
|
Path cacheDir = getCacheDir() + "/nix/flake-closures";
|
|
|
|
createDirs(cacheDir);
|
|
|
|
|
|
|
|
auto s = origFlakeRef.to_string();
|
|
|
|
assert(s[0] != '.');
|
|
|
|
s = replaceStrings(s, "%", "%25");
|
|
|
|
s = replaceStrings(s, "/", "%2f");
|
|
|
|
s = replaceStrings(s, ":", "%3a");
|
|
|
|
Path symlink = cacheDir + "/" + s;
|
|
|
|
debug("writing GC root '%s' for flake closure of '%s'", symlink, origFlakeRef);
|
|
|
|
replaceSymlink(closurePath, symlink);
|
|
|
|
store.addIndirectRoot(symlink);
|
|
|
|
}
|
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
std::vector<std::string> InstallableFlake::getActualAttrPaths()
|
2019-04-08 12:21:13 +00:00
|
|
|
{
|
2019-10-14 12:40:16 +00:00
|
|
|
std::vector<std::string> res;
|
2019-05-01 09:38:48 +00:00
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
for (auto & prefix : prefixes)
|
|
|
|
res.push_back(prefix + *attrPaths.begin());
|
2019-06-07 20:25:48 +00:00
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
for (auto & s : attrPaths)
|
|
|
|
res.push_back(s);
|
2019-06-07 20:25:48 +00:00
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
return res;
|
|
|
|
}
|
2019-06-07 20:25:48 +00:00
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
Value * InstallableFlake::getFlakeOutputs(EvalState & state, const flake::ResolvedFlake & resFlake)
|
|
|
|
{
|
|
|
|
auto vFlake = state.allocValue();
|
2019-05-23 21:42:13 +00:00
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
callFlake(state, resFlake, *vFlake);
|
2019-05-23 21:42:13 +00:00
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
makeFlakeClosureGCRoot(*state.store, flakeRef, resFlake);
|
2019-04-08 12:21:13 +00:00
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
auto aOutputs = vFlake->attrs->get(state.symbols.create("outputs"));
|
|
|
|
assert(aOutputs);
|
2019-04-08 12:21:13 +00:00
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
state.forceValue(*(*aOutputs)->value);
|
2019-04-08 12:21:13 +00:00
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
return (*aOutputs)->value;
|
|
|
|
}
|
2019-04-08 12:21:13 +00:00
|
|
|
|
2019-10-21 22:21:58 +00:00
|
|
|
std::tuple<std::string, FlakeRef, flake::EvalCache::Derivation> InstallableFlake::toDerivation()
|
2019-10-14 12:40:16 +00:00
|
|
|
{
|
|
|
|
auto state = cmd.getEvalState();
|
2019-06-07 20:25:48 +00:00
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
auto resFlake = resolveFlake(*state, flakeRef, cmd.getLockFileMode());
|
2019-06-07 20:25:48 +00:00
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
Value * vOutputs = nullptr;
|
2019-06-07 20:25:48 +00:00
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
auto emptyArgs = state->allocBindings(0);
|
2019-06-07 20:25:48 +00:00
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
auto & evalCache = flake::EvalCache::singleton();
|
2019-06-07 20:25:48 +00:00
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
auto fingerprint = resFlake.getFingerprint();
|
2019-06-07 20:25:48 +00:00
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
for (auto & attrPath : getActualAttrPaths()) {
|
|
|
|
auto drv = evalCache.getDerivation(fingerprint, attrPath);
|
|
|
|
if (drv) {
|
|
|
|
if (state->store->isValidPath(drv->drvPath))
|
2019-10-21 22:21:58 +00:00
|
|
|
return {attrPath, resFlake.flake.sourceInfo.resolvedRef, *drv};
|
2019-10-14 12:40:16 +00:00
|
|
|
}
|
2019-05-29 19:30:22 +00:00
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
if (!vOutputs)
|
|
|
|
vOutputs = getFlakeOutputs(*state, resFlake);
|
2019-06-07 20:25:48 +00:00
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
try {
|
|
|
|
auto * v = findAlongAttrPath(*state, attrPath, *emptyArgs, *vOutputs);
|
|
|
|
state->forceValue(*v);
|
2019-06-07 20:25:48 +00:00
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
auto drvInfo = getDerivation(*state, *v, false);
|
|
|
|
if (!drvInfo)
|
|
|
|
throw Error("flake output attribute '%s' is not a derivation", attrPath);
|
2019-06-07 20:25:48 +00:00
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
auto drv = flake::EvalCache::Derivation{
|
|
|
|
drvInfo->queryDrvPath(),
|
|
|
|
drvInfo->queryOutPath(),
|
|
|
|
drvInfo->queryOutputName()
|
|
|
|
};
|
2019-06-07 20:25:48 +00:00
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
evalCache.addDerivation(fingerprint, attrPath, drv);
|
2019-06-07 20:25:48 +00:00
|
|
|
|
2019-10-21 22:21:58 +00:00
|
|
|
return {attrPath, resFlake.flake.sourceInfo.resolvedRef, drv};
|
2019-10-14 12:40:16 +00:00
|
|
|
} catch (AttrPathNotFound & e) {
|
2019-05-02 19:10:13 +00:00
|
|
|
}
|
2019-06-07 20:25:48 +00:00
|
|
|
}
|
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
throw Error("flake '%s' does not provide attribute %s",
|
|
|
|
flakeRef, concatStringsSep(", ", quoteStrings(attrPaths)));
|
|
|
|
}
|
|
|
|
|
2019-10-21 22:21:58 +00:00
|
|
|
std::vector<flake::EvalCache::Derivation> InstallableFlake::toDerivations()
|
|
|
|
{
|
|
|
|
return {std::get<2>(toDerivation())};
|
|
|
|
}
|
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
Value * InstallableFlake::toValue(EvalState & state)
|
|
|
|
{
|
|
|
|
auto resFlake = resolveFlake(state, flakeRef, cmd.getLockFileMode());
|
2019-06-07 20:25:48 +00:00
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
auto vOutputs = getFlakeOutputs(state, resFlake);
|
2019-06-07 20:25:48 +00:00
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
auto emptyArgs = state.allocBindings(0);
|
2019-06-07 20:25:48 +00:00
|
|
|
|
2019-10-14 12:40:16 +00:00
|
|
|
for (auto & attrPath : getActualAttrPaths()) {
|
|
|
|
try {
|
|
|
|
auto * v = findAlongAttrPath(state, attrPath, *emptyArgs, *vOutputs);
|
|
|
|
state.forceValue(*v);
|
|
|
|
return v;
|
|
|
|
} catch (AttrPathNotFound & e) {
|
2019-04-08 12:21:13 +00:00
|
|
|
}
|
|
|
|
}
|
2019-10-14 12:40:16 +00:00
|
|
|
|
|
|
|
throw Error("flake '%s' does not provide attribute %s",
|
|
|
|
flakeRef, concatStringsSep(", ", quoteStrings(attrPaths)));
|
|
|
|
}
|
2019-04-08 12:21:13 +00:00
|
|
|
|
2017-04-25 09:20:37 +00:00
|
|
|
// FIXME: extend
|
|
|
|
std::string attrRegex = R"([A-Za-z_][A-Za-z0-9-_+]*)";
|
|
|
|
static std::regex attrPathRegex(fmt(R"(%1%(\.%1%)*)", attrRegex));
|
|
|
|
|
2019-04-08 14:11:17 +00:00
|
|
|
std::vector<std::shared_ptr<Installable>> SourceExprCommand::parseInstallables(
|
|
|
|
ref<Store> store, std::vector<std::string> ss)
|
2017-04-25 09:20:37 +00:00
|
|
|
{
|
|
|
|
std::vector<std::shared_ptr<Installable>> result;
|
2016-02-09 20:34:24 +00:00
|
|
|
|
2019-04-08 14:11:17 +00:00
|
|
|
if (file) {
|
|
|
|
// FIXME: backward compatibility hack
|
|
|
|
evalSettings.pureEval = false;
|
2017-04-25 13:18:05 +00:00
|
|
|
|
2019-04-08 14:11:17 +00:00
|
|
|
auto state = getEvalState();
|
|
|
|
auto vFile = state->allocValue();
|
|
|
|
state->evalFile(lookupFileArg(*state, *file), *vFile);
|
2016-02-09 20:34:24 +00:00
|
|
|
|
2019-04-08 14:11:17 +00:00
|
|
|
if (ss.empty())
|
|
|
|
ss = {""};
|
2017-07-04 13:38:23 +00:00
|
|
|
|
2019-04-08 14:11:17 +00:00
|
|
|
for (auto & s : ss)
|
|
|
|
result.push_back(std::make_shared<InstallableAttrPath>(*this, vFile, s));
|
2016-02-09 20:34:24 +00:00
|
|
|
|
2019-04-08 14:11:17 +00:00
|
|
|
} else {
|
2016-02-09 20:34:24 +00:00
|
|
|
|
2019-06-21 13:29:05 +00:00
|
|
|
auto follow = [&](const std::string & s) -> std::optional<Path> {
|
|
|
|
try {
|
|
|
|
return store->followLinksToStorePath(s);
|
|
|
|
} catch (NotInStore &) {
|
|
|
|
return {};
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2019-04-08 14:11:17 +00:00
|
|
|
for (auto & s : ss) {
|
|
|
|
|
2019-09-20 14:01:40 +00:00
|
|
|
size_t hash;
|
2019-06-21 13:29:05 +00:00
|
|
|
std::optional<Path> storePath;
|
2019-04-08 12:21:13 +00:00
|
|
|
|
2019-04-08 14:11:17 +00:00
|
|
|
if (s.compare(0, 1, "(") == 0)
|
|
|
|
result.push_back(std::make_shared<InstallableExpr>(*this, s));
|
|
|
|
|
2019-04-08 14:22:04 +00:00
|
|
|
else if (hasPrefix(s, "nixpkgs.")) {
|
|
|
|
bool static warned;
|
|
|
|
warnOnce(warned, "the syntax 'nixpkgs.<attr>' is deprecated; use 'nixpkgs:<attr>' instead");
|
2019-05-02 19:10:13 +00:00
|
|
|
result.push_back(std::make_shared<InstallableFlake>(*this, FlakeRef("nixpkgs"),
|
2019-10-21 21:38:07 +00:00
|
|
|
Strings{"legacyPackages." + settings.thisSystem.get() + "." + std::string(s, 8)}));
|
2019-04-08 14:22:04 +00:00
|
|
|
}
|
|
|
|
|
2019-09-20 14:01:40 +00:00
|
|
|
else if ((hash = s.rfind('#')) != std::string::npos)
|
|
|
|
result.push_back(std::make_shared<InstallableFlake>(
|
|
|
|
*this,
|
|
|
|
FlakeRef(std::string(s, 0, hash), true),
|
|
|
|
std::string(s, hash + 1),
|
|
|
|
getDefaultFlakeAttrPathPrefixes()));
|
2019-09-02 15:33:07 +00:00
|
|
|
|
2019-09-20 14:01:40 +00:00
|
|
|
else {
|
2019-09-02 15:33:07 +00:00
|
|
|
try {
|
|
|
|
auto flakeRef = FlakeRef(s, true);
|
|
|
|
result.push_back(std::make_shared<InstallableFlake>(
|
|
|
|
*this, std::move(flakeRef), getDefaultFlakeAttrPaths()));
|
2019-09-20 14:06:49 +00:00
|
|
|
} catch (...) {
|
|
|
|
if (s.find('/') != std::string::npos && (storePath = follow(s)))
|
|
|
|
result.push_back(std::make_shared<InstallableStorePath>(*storePath));
|
2019-09-02 15:33:07 +00:00
|
|
|
else
|
2019-09-20 14:06:49 +00:00
|
|
|
throw;
|
2019-09-02 15:33:07 +00:00
|
|
|
}
|
2019-04-08 12:21:13 +00:00
|
|
|
}
|
2019-04-08 14:11:17 +00:00
|
|
|
}
|
2017-04-25 09:20:37 +00:00
|
|
|
}
|
2016-02-09 20:34:24 +00:00
|
|
|
|
2017-04-25 09:20:37 +00:00
|
|
|
return result;
|
|
|
|
}
|
2016-02-09 20:34:24 +00:00
|
|
|
|
2019-04-08 14:11:17 +00:00
|
|
|
std::shared_ptr<Installable> SourceExprCommand::parseInstallable(
|
|
|
|
ref<Store> store, const std::string & installable)
|
2017-09-10 13:58:30 +00:00
|
|
|
{
|
2019-04-08 14:11:17 +00:00
|
|
|
auto installables = parseInstallables(store, {installable});
|
2017-09-10 13:58:30 +00:00
|
|
|
assert(installables.size() == 1);
|
|
|
|
return installables.front();
|
|
|
|
}
|
|
|
|
|
2018-02-09 15:42:32 +00:00
|
|
|
Buildables build(ref<Store> store, RealiseMode mode,
|
2017-09-10 13:58:30 +00:00
|
|
|
std::vector<std::shared_ptr<Installable>> installables)
|
2017-04-25 09:20:37 +00:00
|
|
|
{
|
2017-08-14 18:14:55 +00:00
|
|
|
if (mode != Build)
|
2017-07-14 15:10:13 +00:00
|
|
|
settings.readOnlyMode = true;
|
2016-02-09 20:34:24 +00:00
|
|
|
|
2017-09-06 14:03:22 +00:00
|
|
|
Buildables buildables;
|
|
|
|
|
|
|
|
PathSet pathsToBuild;
|
2017-07-14 15:10:13 +00:00
|
|
|
|
2017-09-06 14:03:22 +00:00
|
|
|
for (auto & i : installables) {
|
|
|
|
for (auto & b : i->toBuildables()) {
|
2017-09-10 13:58:30 +00:00
|
|
|
if (b.drvPath != "") {
|
|
|
|
StringSet outputNames;
|
|
|
|
for (auto & output : b.outputs)
|
|
|
|
outputNames.insert(output.first);
|
|
|
|
pathsToBuild.insert(
|
|
|
|
b.drvPath + "!" + concatStringsSep(",", outputNames));
|
2017-09-27 11:14:45 +00:00
|
|
|
} else
|
|
|
|
for (auto & output : b.outputs)
|
|
|
|
pathsToBuild.insert(output.second);
|
2017-09-06 14:03:22 +00:00
|
|
|
buildables.push_back(std::move(b));
|
2017-07-14 15:10:13 +00:00
|
|
|
}
|
2017-09-06 14:03:22 +00:00
|
|
|
}
|
2016-02-09 20:34:24 +00:00
|
|
|
|
2017-07-14 12:23:38 +00:00
|
|
|
if (mode == DryRun)
|
2017-09-06 14:03:22 +00:00
|
|
|
printMissing(store, pathsToBuild, lvlError);
|
2017-07-14 12:23:38 +00:00
|
|
|
else if (mode == Build)
|
2017-09-06 14:03:22 +00:00
|
|
|
store->buildPaths(pathsToBuild);
|
|
|
|
|
|
|
|
return buildables;
|
|
|
|
}
|
|
|
|
|
2017-09-10 13:58:30 +00:00
|
|
|
PathSet toStorePaths(ref<Store> store, RealiseMode mode,
|
|
|
|
std::vector<std::shared_ptr<Installable>> installables)
|
2017-09-06 14:03:22 +00:00
|
|
|
{
|
|
|
|
PathSet outPaths;
|
|
|
|
|
2018-02-09 15:42:32 +00:00
|
|
|
for (auto & b : build(store, mode, installables))
|
2017-09-06 14:03:22 +00:00
|
|
|
for (auto & output : b.outputs)
|
|
|
|
outPaths.insert(output.second);
|
2017-04-25 09:20:37 +00:00
|
|
|
|
2017-04-25 14:19:22 +00:00
|
|
|
return outPaths;
|
2017-04-25 09:20:37 +00:00
|
|
|
}
|
|
|
|
|
2017-09-10 13:58:30 +00:00
|
|
|
Path toStorePath(ref<Store> store, RealiseMode mode,
|
|
|
|
std::shared_ptr<Installable> installable)
|
|
|
|
{
|
|
|
|
auto paths = toStorePaths(store, mode, {installable});
|
|
|
|
|
|
|
|
if (paths.size() != 1)
|
2019-04-08 21:58:33 +00:00
|
|
|
throw Error("argument '%s' should evaluate to one store path", installable->what());
|
2017-09-10 13:58:30 +00:00
|
|
|
|
|
|
|
return *paths.begin();
|
|
|
|
}
|
|
|
|
|
Add "nix show-derivation"
This debug command prints a store derivation in JSON format. For
example:
$ nix show-derivation nixpkgs.hello
{
"/nix/store/ayjwpwwiyy04nh9z71rsdgd3q7bra7ch-hello-2.10.drv": {
"outputs": {
"out": {
"path": "/nix/store/w5w4v29ql0qwqhczkdxs94ix2lh7ibgs-hello-2.10"
}
},
"inputSrcs": [
"/nix/store/9krlzvny65gdc8s7kpb6lkx8cd02c25b-default-builder.sh"
],
"inputDrvs": {
"/nix/store/13839aqdf6x4k3b785rw5f2l7857l6y3-bash-4.4-p12.drv": [
"out"
],
"/nix/store/vgdx7fdc7d4iirmnwj2py1nrvr5qwzj7-hello-2.10.tar.gz.drv": [
"out"
],
"/nix/store/x3kkd0vsqfflbvwf1055l9mr39bg0ms0-stdenv.drv": [
"out"
]
},
"platform": "x86_64-linux",
"builder": "/nix/store/qp5fw57d38bd1n07ss4zxh88zg67c3vg-bash-4.4-p12/bin/bash",
"args": [
"-e",
"/nix/store/9krlzvny65gdc8s7kpb6lkx8cd02c25b-default-builder.sh"
],
"env": {
"buildInputs": "",
"builder": "/nix/store/qp5fw57d38bd1n07ss4zxh88zg67c3vg-bash-4.4-p12/bin/bash",
"configureFlags": "",
"doCheck": "1",
"name": "hello-2.10",
"nativeBuildInputs": "",
"out": "/nix/store/w5w4v29ql0qwqhczkdxs94ix2lh7ibgs-hello-2.10",
"propagatedBuildInputs": "",
"propagatedNativeBuildInputs": "",
"src": "/nix/store/3x7dwzq014bblazs7kq20p9hyzz0qh8g-hello-2.10.tar.gz",
"stdenv": "/nix/store/6zngq1rdh0ans9qyckqimqibgnlvlfrm-stdenv",
"system": "x86_64-linux"
}
}
}
This removes the need for pp-aterm.
2017-09-25 11:43:35 +00:00
|
|
|
PathSet toDerivations(ref<Store> store,
|
|
|
|
std::vector<std::shared_ptr<Installable>> installables, bool useDeriver)
|
|
|
|
{
|
|
|
|
PathSet drvPaths;
|
|
|
|
|
|
|
|
for (auto & i : installables)
|
|
|
|
for (auto & b : i->toBuildables()) {
|
|
|
|
if (b.drvPath.empty()) {
|
|
|
|
if (!useDeriver)
|
|
|
|
throw Error("argument '%s' did not evaluate to a derivation", i->what());
|
|
|
|
for (auto & output : b.outputs) {
|
|
|
|
auto derivers = store->queryValidDerivers(output.second);
|
|
|
|
if (derivers.empty())
|
|
|
|
throw Error("'%s' does not have a known deriver", i->what());
|
|
|
|
// FIXME: use all derivers?
|
|
|
|
drvPaths.insert(*derivers.begin());
|
|
|
|
}
|
|
|
|
} else
|
|
|
|
drvPaths.insert(b.drvPath);
|
|
|
|
}
|
|
|
|
|
|
|
|
return drvPaths;
|
|
|
|
}
|
|
|
|
|
2017-04-25 10:06:32 +00:00
|
|
|
void InstallablesCommand::prepare()
|
2017-04-25 09:20:37 +00:00
|
|
|
{
|
2019-04-19 14:07:37 +00:00
|
|
|
if (_installables.empty() && !file && useDefaultInstallables())
|
|
|
|
// FIXME: commands like "nix install" should not have a
|
|
|
|
// default, probably.
|
|
|
|
_installables.push_back(".");
|
2019-04-08 14:11:17 +00:00
|
|
|
installables = parseInstallables(getStore(), _installables);
|
2017-08-29 14:18:00 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void InstallableCommand::prepare()
|
|
|
|
{
|
2019-04-08 14:11:17 +00:00
|
|
|
installable = parseInstallable(getStore(), _installable);
|
2016-02-09 20:34:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
}
|