2019-02-12 17:23:11 +00:00
|
|
|
#include "flake.hh"
|
2018-11-29 18:18:36 +00:00
|
|
|
#include "primops.hh"
|
|
|
|
#include "eval-inline.hh"
|
|
|
|
#include "fetchGit.hh"
|
|
|
|
#include "download.hh"
|
|
|
|
|
|
|
|
#include <queue>
|
2018-11-30 15:11:15 +00:00
|
|
|
#include <regex>
|
2018-11-29 18:18:36 +00:00
|
|
|
#include <nlohmann/json.hpp>
|
|
|
|
|
|
|
|
namespace nix {
|
|
|
|
|
2019-02-12 21:43:22 +00:00
|
|
|
/* Read the registry or a lock file. (Currently they have an identical
|
|
|
|
format. */
|
|
|
|
static std::unique_ptr<FlakeRegistry> readRegistry(const Path & path)
|
|
|
|
{
|
|
|
|
auto registry = std::make_unique<FlakeRegistry>();
|
|
|
|
|
|
|
|
auto json = nlohmann::json::parse(readFile(path));
|
|
|
|
|
|
|
|
auto version = json.value("version", 0);
|
|
|
|
if (version != 1)
|
|
|
|
throw Error("flake registry '%s' has unsupported version %d", path, version);
|
|
|
|
|
|
|
|
auto flakes = json["flakes"];
|
|
|
|
for (auto i = flakes.begin(); i != flakes.end(); ++i) {
|
|
|
|
FlakeRegistry::Entry entry{FlakeRef(i->value("uri", ""))};
|
|
|
|
registry->entries.emplace(i.key(), entry);
|
|
|
|
}
|
|
|
|
|
|
|
|
return registry;
|
|
|
|
}
|
|
|
|
|
2019-02-12 17:23:11 +00:00
|
|
|
const FlakeRegistry & EvalState::getFlakeRegistry()
|
2018-11-29 18:18:36 +00:00
|
|
|
{
|
|
|
|
std::call_once(_flakeRegistryInit, [&]()
|
|
|
|
{
|
2019-02-11 12:01:39 +00:00
|
|
|
#if 0
|
2019-02-12 19:35:03 +00:00
|
|
|
auto registryUri = "file:///home/eelco/Dev/gists/nix-flakes/registry.json";
|
2018-11-29 18:18:36 +00:00
|
|
|
|
2019-02-12 19:35:03 +00:00
|
|
|
auto registryFile = getDownloader()->download(DownloadRequest(registryUri));
|
2019-02-11 12:01:39 +00:00
|
|
|
#endif
|
2018-11-29 18:18:36 +00:00
|
|
|
|
2019-02-12 21:43:22 +00:00
|
|
|
auto registryFile = settings.nixDataDir + "/nix/flake-registry.json";
|
2018-11-29 18:18:36 +00:00
|
|
|
|
2019-02-12 21:43:22 +00:00
|
|
|
_flakeRegistry = readRegistry(registryFile);
|
2018-11-29 18:18:36 +00:00
|
|
|
});
|
|
|
|
|
|
|
|
return *_flakeRegistry;
|
|
|
|
}
|
|
|
|
|
2019-02-12 20:55:43 +00:00
|
|
|
Value * makeFlakeRegistryValue(EvalState & state)
|
2018-11-29 18:18:36 +00:00
|
|
|
{
|
2019-02-12 20:55:43 +00:00
|
|
|
auto v = state.allocValue();
|
2019-02-12 19:35:03 +00:00
|
|
|
|
2019-02-12 20:55:43 +00:00
|
|
|
auto registry = state.getFlakeRegistry();
|
2018-11-29 18:18:36 +00:00
|
|
|
|
2019-02-12 20:55:43 +00:00
|
|
|
state.mkAttrs(*v, registry.entries.size());
|
2018-11-29 18:18:36 +00:00
|
|
|
|
|
|
|
for (auto & entry : registry.entries) {
|
2019-02-12 20:55:43 +00:00
|
|
|
auto vEntry = state.allocAttr(*v, entry.first);
|
|
|
|
state.mkAttrs(*vEntry, 2);
|
|
|
|
mkString(*state.allocAttr(*vEntry, state.symbols.create("uri")), entry.second.ref.to_string());
|
2018-11-29 18:18:36 +00:00
|
|
|
vEntry->attrs->sort();
|
|
|
|
}
|
|
|
|
|
2019-02-12 19:35:03 +00:00
|
|
|
v->attrs->sort();
|
2018-11-29 18:18:36 +00:00
|
|
|
|
2019-02-12 19:35:03 +00:00
|
|
|
return v;
|
|
|
|
}
|
2018-11-29 18:18:36 +00:00
|
|
|
|
2019-02-12 21:43:22 +00:00
|
|
|
static FlakeRef lookupFlake(EvalState & state, const FlakeRef & flakeRef,
|
|
|
|
std::vector<const FlakeRegistry *> registries)
|
2019-02-12 17:23:11 +00:00
|
|
|
{
|
|
|
|
if (auto refData = std::get_if<FlakeRef::IsFlakeId>(&flakeRef.data)) {
|
2019-02-12 21:43:22 +00:00
|
|
|
for (auto registry : registries) {
|
|
|
|
auto i = registry->entries.find(refData->id);
|
|
|
|
if (i != registry->entries.end()) {
|
|
|
|
auto newRef = FlakeRef(i->second.ref);
|
|
|
|
if (!newRef.isDirect())
|
|
|
|
throw Error("found indirect flake URI '%s' in the flake registry", i->second.ref.to_string());
|
|
|
|
return newRef;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
throw Error("cannot find flake '%s' in the flake registry or in the flake lock file", refData->id);
|
2019-02-12 17:23:11 +00:00
|
|
|
} else
|
|
|
|
return flakeRef;
|
|
|
|
}
|
|
|
|
|
|
|
|
static Path fetchFlake(EvalState & state, const FlakeRef & flakeRef)
|
2018-11-29 18:18:36 +00:00
|
|
|
{
|
2019-02-12 17:23:11 +00:00
|
|
|
assert(flakeRef.isDirect());
|
2018-12-12 12:20:59 +00:00
|
|
|
|
2019-02-12 17:23:11 +00:00
|
|
|
if (auto refData = std::get_if<FlakeRef::IsGitHub>(&flakeRef.data)) {
|
2018-12-12 12:20:59 +00:00
|
|
|
// FIXME: require hash in pure mode.
|
|
|
|
|
|
|
|
// FIXME: use regular /archive URLs instead? api.github.com
|
|
|
|
// might have stricter rate limits.
|
2019-02-12 17:23:11 +00:00
|
|
|
|
|
|
|
// FIXME: support passing auth tokens for private repos.
|
|
|
|
|
2018-12-12 12:20:59 +00:00
|
|
|
auto storePath = getDownloader()->downloadCached(state.store,
|
2019-02-12 17:23:11 +00:00
|
|
|
fmt("https://api.github.com/repos/%s/%s/tarball/%s",
|
|
|
|
refData->owner, refData->repo,
|
|
|
|
refData->rev
|
|
|
|
? refData->rev->to_string(Base16, false)
|
|
|
|
: refData->ref
|
|
|
|
? *refData->ref
|
|
|
|
: "master"),
|
2018-12-12 12:20:59 +00:00
|
|
|
true, "source");
|
|
|
|
|
|
|
|
// FIXME: extract revision hash from ETag.
|
|
|
|
|
|
|
|
return storePath;
|
|
|
|
}
|
|
|
|
|
2019-02-12 17:23:11 +00:00
|
|
|
else if (auto refData = std::get_if<FlakeRef::IsGit>(&flakeRef.data)) {
|
|
|
|
auto gitInfo = exportGit(state.store, refData->uri, refData->ref,
|
|
|
|
refData->rev ? refData->rev->to_string(Base16, false) : "", "source");
|
2018-11-30 15:11:15 +00:00
|
|
|
return gitInfo.storePath;
|
|
|
|
}
|
2018-11-29 18:18:36 +00:00
|
|
|
|
2019-02-12 17:23:11 +00:00
|
|
|
else abort();
|
2018-11-30 15:11:15 +00:00
|
|
|
}
|
|
|
|
|
2019-02-12 21:43:22 +00:00
|
|
|
struct Flake
|
|
|
|
{
|
|
|
|
FlakeId id;
|
|
|
|
std::string description;
|
|
|
|
Path path;
|
|
|
|
std::vector<FlakeRef> requires;
|
|
|
|
std::unique_ptr<FlakeRegistry> lockFile;
|
|
|
|
Value * vProvides; // FIXME: gc
|
|
|
|
// commit hash
|
|
|
|
// date
|
|
|
|
// content hash
|
|
|
|
};
|
|
|
|
|
2019-02-12 17:23:11 +00:00
|
|
|
static Flake getFlake(EvalState & state, const FlakeRef & flakeRef)
|
2018-11-30 15:11:15 +00:00
|
|
|
{
|
2019-02-12 17:23:11 +00:00
|
|
|
auto flakePath = fetchFlake(state, flakeRef);
|
2018-11-30 15:11:15 +00:00
|
|
|
state.store->assertStorePath(flakePath);
|
|
|
|
|
2019-02-12 19:35:03 +00:00
|
|
|
if (state.allowedPaths)
|
|
|
|
state.allowedPaths->insert(flakePath);
|
|
|
|
|
2018-11-30 15:11:15 +00:00
|
|
|
Flake flake;
|
2018-11-29 18:18:36 +00:00
|
|
|
|
|
|
|
Value vInfo;
|
2019-02-12 21:43:22 +00:00
|
|
|
state.evalFile(flakePath + "/flake.nix", vInfo); // FIXME: symlink attack
|
2018-11-29 18:18:36 +00:00
|
|
|
|
|
|
|
state.forceAttrs(vInfo);
|
|
|
|
|
|
|
|
if (auto name = vInfo.attrs->get(state.sName))
|
2019-02-12 17:23:11 +00:00
|
|
|
flake.id = state.forceStringNoCtx(*(**name).value, *(**name).pos);
|
2018-11-29 18:18:36 +00:00
|
|
|
else
|
|
|
|
throw Error("flake lacks attribute 'name'");
|
|
|
|
|
|
|
|
if (auto description = vInfo.attrs->get(state.sDescription))
|
|
|
|
flake.description = state.forceStringNoCtx(*(**description).value, *(**description).pos);
|
|
|
|
|
|
|
|
if (auto requires = vInfo.attrs->get(state.symbols.create("requires"))) {
|
|
|
|
state.forceList(*(**requires).value, *(**requires).pos);
|
|
|
|
for (unsigned int n = 0; n < (**requires).value->listSize(); ++n)
|
2019-02-12 21:43:22 +00:00
|
|
|
flake.requires.push_back(FlakeRef(state.forceStringNoCtx(
|
|
|
|
*(**requires).value->listElems()[n], *(**requires).pos)));
|
2018-11-29 18:18:36 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
if (auto provides = vInfo.attrs->get(state.symbols.create("provides"))) {
|
|
|
|
state.forceFunction(*(**provides).value, *(**provides).pos);
|
|
|
|
flake.vProvides = (**provides).value;
|
|
|
|
} else
|
|
|
|
throw Error("flake lacks attribute 'provides'");
|
|
|
|
|
2019-02-12 21:43:22 +00:00
|
|
|
auto lockFile = flakePath + "/flake.lock"; // FIXME: symlink attack
|
|
|
|
|
|
|
|
if (pathExists(lockFile)) {
|
|
|
|
flake.lockFile = readRegistry(lockFile);
|
|
|
|
for (auto & entry : flake.lockFile->entries)
|
|
|
|
if (!entry.second.ref.isImmutable())
|
|
|
|
throw Error("flake lock file '%s' contains mutable entry '%s'",
|
|
|
|
lockFile, entry.second.ref.to_string());
|
|
|
|
}
|
|
|
|
|
2018-11-29 18:18:36 +00:00
|
|
|
return flake;
|
|
|
|
}
|
|
|
|
|
2019-02-12 20:05:44 +00:00
|
|
|
/* Given a flake reference, recursively fetch it and its
|
2019-02-12 20:55:43 +00:00
|
|
|
dependencies.
|
|
|
|
FIXME: this should return a graph of flakes.
|
|
|
|
*/
|
|
|
|
static std::tuple<FlakeId, std::map<FlakeId, Flake>> resolveFlake(EvalState & state,
|
2019-02-12 20:05:44 +00:00
|
|
|
const FlakeRef & topRef, bool impureTopRef)
|
2018-11-29 18:18:36 +00:00
|
|
|
{
|
2019-02-12 17:23:11 +00:00
|
|
|
std::map<FlakeId, Flake> done;
|
2019-02-12 20:05:44 +00:00
|
|
|
std::queue<std::tuple<FlakeRef, bool>> todo;
|
2019-02-12 20:55:43 +00:00
|
|
|
std::optional<FlakeId> topFlakeId; /// FIXME: ambiguous
|
|
|
|
todo.push({topRef, true});
|
2018-11-29 18:18:36 +00:00
|
|
|
|
2019-02-12 21:43:22 +00:00
|
|
|
std::vector<const FlakeRegistry *> registries;
|
|
|
|
FlakeRegistry localRegistry;
|
|
|
|
registries.push_back(&localRegistry);
|
|
|
|
if (!evalSettings.pureEval)
|
|
|
|
registries.push_back(&state.getFlakeRegistry());
|
|
|
|
|
2018-11-29 18:18:36 +00:00
|
|
|
while (!todo.empty()) {
|
2019-02-12 20:55:43 +00:00
|
|
|
auto [flakeRef, toplevel] = todo.front();
|
2018-11-29 18:18:36 +00:00
|
|
|
todo.pop();
|
|
|
|
|
2019-02-12 17:23:11 +00:00
|
|
|
if (auto refData = std::get_if<FlakeRef::IsFlakeId>(&flakeRef.data)) {
|
|
|
|
if (done.count(refData->id)) continue; // optimization
|
2019-02-12 21:43:22 +00:00
|
|
|
flakeRef = lookupFlake(state, flakeRef, registries);
|
2019-02-12 17:23:11 +00:00
|
|
|
}
|
|
|
|
|
2019-02-12 20:55:43 +00:00
|
|
|
if (evalSettings.pureEval && !flakeRef.isImmutable() && (!toplevel || !impureTopRef))
|
2019-02-12 20:05:44 +00:00
|
|
|
throw Error("mutable flake '%s' is not allowed in pure mode; use --no-pure-eval to disable", flakeRef.to_string());
|
|
|
|
|
2019-02-12 17:23:11 +00:00
|
|
|
auto flake = getFlake(state, flakeRef);
|
|
|
|
|
|
|
|
if (done.count(flake.id)) continue;
|
2018-11-29 18:18:36 +00:00
|
|
|
|
2019-02-12 20:55:43 +00:00
|
|
|
if (toplevel) topFlakeId = flake.id;
|
|
|
|
|
2018-11-30 15:11:15 +00:00
|
|
|
for (auto & require : flake.requires)
|
2019-02-12 20:05:44 +00:00
|
|
|
todo.push({require, false});
|
2018-11-29 18:18:36 +00:00
|
|
|
|
2019-02-12 21:43:22 +00:00
|
|
|
if (flake.lockFile)
|
|
|
|
for (auto & entry : flake.lockFile->entries) {
|
|
|
|
if (localRegistry.entries.count(entry.first)) continue;
|
|
|
|
localRegistry.entries.emplace(entry.first, entry.second);
|
|
|
|
}
|
|
|
|
|
|
|
|
done.emplace(flake.id, std::move(flake));
|
2018-11-29 18:18:36 +00:00
|
|
|
}
|
|
|
|
|
2019-02-12 20:55:43 +00:00
|
|
|
assert(topFlakeId);
|
2019-02-12 21:43:22 +00:00
|
|
|
return {*topFlakeId, std::move(done)};
|
2018-11-29 18:18:36 +00:00
|
|
|
}
|
|
|
|
|
2019-02-12 20:55:43 +00:00
|
|
|
Value * makeFlakeValue(EvalState & state, std::string flakeUri, Value & v)
|
2018-11-29 18:18:36 +00:00
|
|
|
{
|
2019-02-12 20:05:44 +00:00
|
|
|
// FIXME: temporary hack to make the default installation source
|
|
|
|
// work.
|
|
|
|
bool impure = false;
|
|
|
|
if (hasPrefix(flakeUri, "impure:")) {
|
|
|
|
flakeUri = std::string(flakeUri, 7);
|
|
|
|
impure = true;
|
|
|
|
}
|
|
|
|
|
|
|
|
auto flakeRef = FlakeRef(flakeUri);
|
2018-11-29 18:18:36 +00:00
|
|
|
|
2019-02-12 20:55:43 +00:00
|
|
|
auto [topFlakeId, flakes] = resolveFlake(state, flakeUri, impure);
|
|
|
|
|
|
|
|
// FIXME: we should call each flake with only its dependencies
|
|
|
|
// (rather than the closure of the top-level flake).
|
2018-11-29 18:18:36 +00:00
|
|
|
|
|
|
|
auto vResult = state.allocValue();
|
|
|
|
|
|
|
|
state.mkAttrs(*vResult, flakes.size());
|
|
|
|
|
2019-02-12 20:55:43 +00:00
|
|
|
Value * vTop = 0;
|
|
|
|
|
2018-11-29 18:18:36 +00:00
|
|
|
for (auto & flake : flakes) {
|
2019-02-12 17:23:11 +00:00
|
|
|
auto vFlake = state.allocAttr(*vResult, flake.second.id);
|
2019-02-12 20:55:43 +00:00
|
|
|
if (topFlakeId == flake.second.id) vTop = vFlake;
|
2018-11-29 18:18:36 +00:00
|
|
|
state.mkAttrs(*vFlake, 2);
|
|
|
|
mkString(*state.allocAttr(*vFlake, state.sDescription), flake.second.description);
|
|
|
|
auto vProvides = state.allocAttr(*vFlake, state.symbols.create("provides"));
|
|
|
|
mkApp(*vProvides, *flake.second.vProvides, *vResult);
|
|
|
|
vFlake->attrs->sort();
|
|
|
|
}
|
|
|
|
|
|
|
|
vResult->attrs->sort();
|
|
|
|
|
|
|
|
v = *vResult;
|
2019-02-12 20:55:43 +00:00
|
|
|
|
|
|
|
assert(vTop);
|
|
|
|
return vTop;
|
|
|
|
}
|
|
|
|
|
|
|
|
static void prim_getFlake(EvalState & state, const Pos & pos, Value * * args, Value & v)
|
|
|
|
{
|
|
|
|
makeFlakeValue(state, state.forceStringNoCtx(*args[0], pos), v);
|
2018-11-29 18:18:36 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
static RegisterPrimOp r2("getFlake", 1, prim_getFlake);
|
|
|
|
|
|
|
|
}
|