2019-02-12 19:23:11 +02:00
|
|
|
#include "flake.hh"
|
2018-11-29 20:18:36 +02:00
|
|
|
#include "primops.hh"
|
|
|
|
#include "eval-inline.hh"
|
|
|
|
#include "fetchGit.hh"
|
|
|
|
#include "download.hh"
|
2019-02-21 07:53:01 +02:00
|
|
|
#include "args.hh"
|
2018-11-29 20:18:36 +02:00
|
|
|
|
2019-02-21 07:53:01 +02:00
|
|
|
#include <iostream>
|
2018-11-29 20:18:36 +02:00
|
|
|
#include <queue>
|
2018-11-30 17:11:15 +02:00
|
|
|
#include <regex>
|
2018-11-29 20:18:36 +02:00
|
|
|
#include <nlohmann/json.hpp>
|
|
|
|
|
|
|
|
namespace nix {
|
|
|
|
|
2019-02-12 23:43:22 +02:00
|
|
|
/* Read the registry or a lock file. (Currently they have an identical
|
|
|
|
format. */
|
2019-03-21 10:30:16 +02:00
|
|
|
std::shared_ptr<FlakeRegistry> readRegistry(const Path & path)
|
2019-02-12 23:43:22 +02:00
|
|
|
{
|
2019-03-21 10:30:16 +02:00
|
|
|
auto registry = std::make_shared<FlakeRegistry>();
|
2019-02-12 23:43:22 +02:00
|
|
|
|
2019-03-21 10:30:16 +02:00
|
|
|
if (!pathExists(path))
|
|
|
|
return std::make_shared<FlakeRegistry>();
|
2019-03-26 13:48:57 +02:00
|
|
|
|
2019-03-21 10:30:16 +02:00
|
|
|
auto json = nlohmann::json::parse(readFile(path));
|
2019-03-26 13:48:57 +02:00
|
|
|
|
2019-03-21 10:30:16 +02:00
|
|
|
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);
|
2019-02-12 23:43:22 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
return registry;
|
|
|
|
}
|
|
|
|
|
2019-02-25 14:46:37 +02:00
|
|
|
/* Write the registry or lock file to a file. */
|
2019-02-21 07:53:01 +02:00
|
|
|
void writeRegistry(FlakeRegistry registry, Path path)
|
2019-02-25 14:46:37 +02:00
|
|
|
{
|
|
|
|
nlohmann::json json = {};
|
2019-02-21 07:53:01 +02:00
|
|
|
json["version"] = 1;
|
2019-02-25 14:46:37 +02:00
|
|
|
json["flakes"] = {};
|
|
|
|
for (auto elem : registry.entries) {
|
2019-03-10 08:05:05 +02:00
|
|
|
json["flakes"][elem.first] = { {"uri", elem.second.ref.to_string()} };
|
2019-02-25 14:46:37 +02:00
|
|
|
}
|
2019-03-26 13:48:57 +02:00
|
|
|
createDirs(dirOf(path));
|
2019-02-25 14:46:37 +02:00
|
|
|
writeFile(path, json.dump(4)); // The '4' is the number of spaces used in the indentation in the json file.
|
|
|
|
}
|
|
|
|
|
2019-03-21 10:30:16 +02:00
|
|
|
Path getUserRegistryPath()
|
2018-11-29 20:18:36 +02:00
|
|
|
{
|
2019-03-21 10:30:16 +02:00
|
|
|
return getHome() + "/.config/nix/registry.json";
|
|
|
|
}
|
|
|
|
std::shared_ptr<FlakeRegistry> getGlobalRegistry()
|
|
|
|
{
|
2019-04-08 15:21:13 +03:00
|
|
|
// FIXME: get from nixos.org.
|
|
|
|
Path registryFile = settings.nixDataDir + "/nix/flake-registry.json";
|
|
|
|
return readRegistry(registryFile);
|
2019-03-21 10:30:16 +02:00
|
|
|
}
|
2018-11-29 20:18:36 +02:00
|
|
|
|
2019-03-21 10:30:16 +02:00
|
|
|
std::shared_ptr<FlakeRegistry> getUserRegistry()
|
|
|
|
{
|
|
|
|
return readRegistry(getUserRegistryPath());
|
|
|
|
}
|
|
|
|
|
|
|
|
std::shared_ptr<FlakeRegistry> getFlagRegistry()
|
|
|
|
{
|
|
|
|
return std::make_shared<FlakeRegistry>();
|
|
|
|
// TODO: Implement this once the right flags are implemented.
|
|
|
|
}
|
2018-11-29 20:18:36 +02:00
|
|
|
|
2019-03-21 10:30:16 +02:00
|
|
|
const std::vector<std::shared_ptr<FlakeRegistry>> EvalState::getFlakeRegistries()
|
|
|
|
{
|
|
|
|
std::vector<std::shared_ptr<FlakeRegistry>> registries;
|
2019-03-21 10:30:16 +02:00
|
|
|
if (evalSettings.pureEval) {
|
|
|
|
registries.push_back(std::make_shared<FlakeRegistry>()); // global
|
|
|
|
registries.push_back(std::make_shared<FlakeRegistry>()); // user
|
|
|
|
registries.push_back(std::make_shared<FlakeRegistry>()); // local
|
|
|
|
} else {
|
|
|
|
registries.push_back(getGlobalRegistry());
|
|
|
|
registries.push_back(getUserRegistry());
|
|
|
|
registries.push_back(getLocalRegistry());
|
|
|
|
}
|
2019-03-21 10:30:16 +02:00
|
|
|
registries.push_back(getFlagRegistry());
|
|
|
|
return registries;
|
2018-11-29 20:18:36 +02:00
|
|
|
}
|
|
|
|
|
2019-03-21 10:30:16 +02:00
|
|
|
// Creates a Nix attribute set value listing all dependencies, so they can be used in `provides`.
|
2019-02-12 22:55:43 +02:00
|
|
|
Value * makeFlakeRegistryValue(EvalState & state)
|
2018-11-29 20:18:36 +02:00
|
|
|
{
|
2019-02-12 22:55:43 +02:00
|
|
|
auto v = state.allocValue();
|
2019-02-12 21:35:03 +02:00
|
|
|
|
2019-03-21 10:30:16 +02:00
|
|
|
auto registries = state.getFlakeRegistries();
|
2018-11-29 20:18:36 +02:00
|
|
|
|
2019-03-21 10:30:16 +02:00
|
|
|
int size = 0;
|
|
|
|
for (auto registry : registries)
|
|
|
|
size += registry->entries.size();
|
|
|
|
state.mkAttrs(*v, size);
|
2018-11-29 20:18:36 +02:00
|
|
|
|
2019-03-21 10:30:16 +02:00
|
|
|
for (auto & registry : registries) {
|
|
|
|
for (auto & entry : registry->entries) {
|
|
|
|
auto vEntry = state.allocAttr(*v, entry.first);
|
|
|
|
state.mkAttrs(*vEntry, 2);
|
|
|
|
mkString(*state.allocAttr(*vEntry, state.symbols.create("uri")), entry.second.ref.to_string());
|
|
|
|
vEntry->attrs->sort();
|
|
|
|
}
|
2018-11-29 20:18:36 +02:00
|
|
|
}
|
|
|
|
|
2019-02-12 21:35:03 +02:00
|
|
|
v->attrs->sort();
|
2018-11-29 20:18:36 +02:00
|
|
|
|
2019-02-12 21:35:03 +02:00
|
|
|
return v;
|
|
|
|
}
|
2018-11-29 20:18:36 +02:00
|
|
|
|
2019-02-12 23:43:22 +02:00
|
|
|
static FlakeRef lookupFlake(EvalState & state, const FlakeRef & flakeRef,
|
2019-03-21 10:30:16 +02:00
|
|
|
std::vector<std::shared_ptr<FlakeRegistry>> registries)
|
2019-02-12 19:23:11 +02:00
|
|
|
{
|
|
|
|
if (auto refData = std::get_if<FlakeRef::IsFlakeId>(&flakeRef.data)) {
|
2019-02-12 23:43:22 +02: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());
|
2019-03-21 10:30:16 +02:00
|
|
|
if (refData->ref)
|
|
|
|
newRef.setRef(*refData->ref);
|
|
|
|
if (refData->rev)
|
|
|
|
newRef.setRev(*refData->rev);
|
2019-02-12 23:43:22 +02:00
|
|
|
return newRef;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
throw Error("cannot find flake '%s' in the flake registry or in the flake lock file", refData->id);
|
2019-02-12 19:23:11 +02:00
|
|
|
} else
|
|
|
|
return flakeRef;
|
|
|
|
}
|
|
|
|
|
2019-02-25 17:20:50 +02:00
|
|
|
struct FlakeSourceInfo
|
|
|
|
{
|
|
|
|
Path storePath;
|
|
|
|
std::optional<Hash> rev;
|
2019-04-08 23:46:25 +03:00
|
|
|
std::optional<uint64_t> revCount;
|
2019-02-25 17:20:50 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
static FlakeSourceInfo fetchFlake(EvalState & state, const FlakeRef & flakeRef)
|
2018-11-29 20:18:36 +02:00
|
|
|
{
|
2019-02-21 07:53:01 +02:00
|
|
|
FlakeRef directFlakeRef = FlakeRef(flakeRef);
|
2019-04-08 15:21:13 +03:00
|
|
|
if (!flakeRef.isDirect()) {
|
2019-03-21 10:30:16 +02:00
|
|
|
directFlakeRef = lookupFlake(state, flakeRef, state.getFlakeRegistries());
|
2019-02-21 07:53:01 +02:00
|
|
|
}
|
|
|
|
assert(directFlakeRef.isDirect());
|
|
|
|
// NOTE FROM NICK: I don't see why one wouldn't fetch FlakeId flakes..
|
2018-12-12 14:20:59 +02:00
|
|
|
|
2019-02-21 07:53:01 +02:00
|
|
|
if (auto refData = std::get_if<FlakeRef::IsGitHub>(&directFlakeRef.data)) {
|
2018-12-12 14:20:59 +02:00
|
|
|
// FIXME: require hash in pure mode.
|
|
|
|
|
|
|
|
// FIXME: use regular /archive URLs instead? api.github.com
|
|
|
|
// might have stricter rate limits.
|
2019-02-12 19:23:11 +02:00
|
|
|
|
|
|
|
// FIXME: support passing auth tokens for private repos.
|
|
|
|
|
2019-02-25 17:20:50 +02:00
|
|
|
auto url = 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");
|
|
|
|
|
2019-02-25 17:23:45 +02:00
|
|
|
auto result = getDownloader()->downloadCached(state.store, url, true, "source",
|
|
|
|
Hash(), nullptr, refData->rev ? 1000000000 : settings.tarballTtl);
|
2018-12-12 14:20:59 +02:00
|
|
|
|
2019-02-25 17:20:50 +02:00
|
|
|
if (!result.etag)
|
|
|
|
throw Error("did not receive an ETag header from '%s'", url);
|
2018-12-12 14:20:59 +02:00
|
|
|
|
2019-02-25 17:20:50 +02:00
|
|
|
if (result.etag->size() != 42 || (*result.etag)[0] != '"' || (*result.etag)[41] != '"')
|
|
|
|
throw Error("ETag header '%s' from '%s' is not a Git revision", *result.etag, url);
|
|
|
|
|
|
|
|
FlakeSourceInfo info;
|
|
|
|
info.storePath = result.path;
|
|
|
|
info.rev = Hash(std::string(*result.etag, 1, result.etag->size() - 2), htSHA1);
|
|
|
|
|
|
|
|
return info;
|
2018-12-12 14:20:59 +02:00
|
|
|
}
|
|
|
|
|
2019-02-21 07:53:01 +02:00
|
|
|
else if (auto refData = std::get_if<FlakeRef::IsGit>(&directFlakeRef.data)) {
|
2019-02-12 19:23:11 +02:00
|
|
|
auto gitInfo = exportGit(state.store, refData->uri, refData->ref,
|
|
|
|
refData->rev ? refData->rev->to_string(Base16, false) : "", "source");
|
2019-02-25 17:20:50 +02:00
|
|
|
FlakeSourceInfo info;
|
|
|
|
info.storePath = gitInfo.storePath;
|
|
|
|
info.rev = Hash(gitInfo.rev, htSHA1);
|
2019-04-08 23:46:25 +03:00
|
|
|
info.revCount = gitInfo.revCount;
|
|
|
|
return info;
|
|
|
|
}
|
|
|
|
|
|
|
|
else if (auto refData = std::get_if<FlakeRef::IsPath>(&directFlakeRef.data)) {
|
|
|
|
if (!pathExists(refData->path + "/.git"))
|
|
|
|
throw Error("flake '%s' does not reference a Git repository", refData->path);
|
|
|
|
auto gitInfo = exportGit(state.store, refData->path, {}, "", "source");
|
|
|
|
FlakeSourceInfo info;
|
|
|
|
info.storePath = gitInfo.storePath;
|
|
|
|
info.rev = Hash(gitInfo.rev, htSHA1);
|
|
|
|
info.revCount = gitInfo.revCount;
|
2019-02-25 17:20:50 +02:00
|
|
|
return info;
|
2018-11-30 17:11:15 +02:00
|
|
|
}
|
2018-11-29 20:18:36 +02:00
|
|
|
|
2019-02-12 19:23:11 +02:00
|
|
|
else abort();
|
2018-11-30 17:11:15 +02:00
|
|
|
}
|
|
|
|
|
2019-02-27 20:54:18 +02:00
|
|
|
Flake getFlake(EvalState & state, const FlakeRef & flakeRef)
|
2018-11-30 17:11:15 +02:00
|
|
|
{
|
2019-03-21 10:30:16 +02:00
|
|
|
FlakeSourceInfo sourceInfo = fetchFlake(state, flakeRef);
|
2019-02-25 17:20:50 +02:00
|
|
|
debug("got flake source '%s' with revision %s",
|
|
|
|
sourceInfo.storePath, sourceInfo.rev.value_or(Hash(htSHA1)).to_string(Base16, false));
|
|
|
|
|
|
|
|
auto flakePath = sourceInfo.storePath;
|
2018-11-30 17:11:15 +02:00
|
|
|
state.store->assertStorePath(flakePath);
|
|
|
|
|
2019-02-12 21:35:03 +02:00
|
|
|
if (state.allowedPaths)
|
|
|
|
state.allowedPaths->insert(flakePath);
|
|
|
|
|
2019-03-21 10:30:16 +02:00
|
|
|
Flake flake(flakeRef);
|
|
|
|
if (std::get_if<FlakeRef::IsGitHub>(&flakeRef.data)) {
|
|
|
|
if (sourceInfo.rev)
|
|
|
|
flake.ref = FlakeRef(flakeRef.baseRef().to_string()
|
|
|
|
+ "/" + sourceInfo.rev->to_string(Base16, false));
|
2019-02-21 07:53:01 +02:00
|
|
|
}
|
|
|
|
|
2019-04-08 23:46:25 +03:00
|
|
|
flake.path = flakePath;
|
|
|
|
flake.revCount = sourceInfo.revCount;
|
2018-11-29 20:18:36 +02:00
|
|
|
|
|
|
|
Value vInfo;
|
2019-02-12 23:43:22 +02:00
|
|
|
state.evalFile(flakePath + "/flake.nix", vInfo); // FIXME: symlink attack
|
2018-11-29 20:18:36 +02:00
|
|
|
|
|
|
|
state.forceAttrs(vInfo);
|
|
|
|
|
|
|
|
if (auto name = vInfo.attrs->get(state.sName))
|
2019-02-12 19:23:11 +02:00
|
|
|
flake.id = state.forceStringNoCtx(*(**name).value, *(**name).pos);
|
2018-11-29 20:18:36 +02: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 23:43:22 +02:00
|
|
|
flake.requires.push_back(FlakeRef(state.forceStringNoCtx(
|
|
|
|
*(**requires).value->listElems()[n], *(**requires).pos)));
|
2018-11-29 20:18:36 +02:00
|
|
|
}
|
|
|
|
|
2019-03-21 10:30:16 +02:00
|
|
|
if (std::optional<Attr *> nonFlakeRequires = vInfo.attrs->get(state.symbols.create("nonFlakeRequires"))) {
|
|
|
|
state.forceAttrs(*(**nonFlakeRequires).value, *(**nonFlakeRequires).pos);
|
|
|
|
for (Attr attr : *(*(**nonFlakeRequires).value).attrs) {
|
|
|
|
std::string myNonFlakeUri = state.forceStringNoCtx(*attr.value, *attr.pos);
|
|
|
|
FlakeRef nonFlakeRef = FlakeRef(myNonFlakeUri);
|
|
|
|
flake.nonFlakeRequires.insert_or_assign(attr.name, nonFlakeRef);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-11-29 20:18:36 +02: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 23:43:22 +02:00
|
|
|
auto lockFile = flakePath + "/flake.lock"; // FIXME: symlink attack
|
|
|
|
|
2019-03-21 10:30:16 +02:00
|
|
|
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());
|
|
|
|
|
2019-02-12 23:43:22 +02:00
|
|
|
|
2018-11-29 20:18:36 +02:00
|
|
|
return flake;
|
|
|
|
}
|
|
|
|
|
2019-03-21 10:30:16 +02:00
|
|
|
// Get the `NonFlake` corresponding to a `FlakeRef`.
|
|
|
|
NonFlake getNonFlake(EvalState & state, const FlakeRef & flakeRef, FlakeId flakeId)
|
|
|
|
{
|
|
|
|
FlakeSourceInfo sourceInfo = fetchFlake(state, flakeRef);
|
|
|
|
debug("got non-flake source '%s' with revision %s",
|
|
|
|
sourceInfo.storePath, sourceInfo.rev.value_or(Hash(htSHA1)).to_string(Base16, false));
|
|
|
|
|
|
|
|
auto flakePath = sourceInfo.storePath;
|
|
|
|
state.store->assertStorePath(flakePath);
|
|
|
|
|
|
|
|
if (state.allowedPaths)
|
|
|
|
state.allowedPaths->insert(flakePath);
|
|
|
|
|
|
|
|
NonFlake nonFlake(flakeRef);
|
|
|
|
if (std::get_if<FlakeRef::IsGitHub>(&flakeRef.data)) {
|
|
|
|
if (sourceInfo.rev)
|
|
|
|
nonFlake.ref = FlakeRef(flakeRef.baseRef().to_string()
|
|
|
|
+ "/" + sourceInfo.rev->to_string(Base16, false));
|
|
|
|
}
|
|
|
|
|
|
|
|
nonFlake.path = flakePath;
|
|
|
|
|
|
|
|
nonFlake.id = flakeId;
|
|
|
|
|
|
|
|
return nonFlake;
|
|
|
|
}
|
|
|
|
|
2019-02-12 22:05:44 +02:00
|
|
|
/* Given a flake reference, recursively fetch it and its
|
2019-02-12 22:55:43 +02:00
|
|
|
dependencies.
|
|
|
|
FIXME: this should return a graph of flakes.
|
|
|
|
*/
|
2019-03-21 10:30:16 +02:00
|
|
|
Dependencies resolveFlake(EvalState & state, const FlakeRef & topRef, bool impureTopRef)
|
2018-11-29 20:18:36 +02:00
|
|
|
{
|
2019-03-21 10:30:16 +02:00
|
|
|
Dependencies deps;
|
|
|
|
std::queue<FlakeRef> todo;
|
|
|
|
bool isTopLevel = true;
|
|
|
|
todo.push(topRef);
|
2018-11-29 20:18:36 +02:00
|
|
|
|
2019-04-08 15:21:13 +03:00
|
|
|
auto registries = state.getFlakeRegistries();
|
2019-02-12 23:43:22 +02:00
|
|
|
|
2018-11-29 20:18:36 +02:00
|
|
|
while (!todo.empty()) {
|
2019-03-21 10:30:16 +02:00
|
|
|
auto flakeRef = todo.front();
|
2018-11-29 20:18:36 +02:00
|
|
|
todo.pop();
|
|
|
|
|
2019-03-21 10:30:16 +02:00
|
|
|
if (std::get_if<FlakeRef::IsFlakeId>(&flakeRef.data))
|
2019-03-21 10:30:16 +02:00
|
|
|
flakeRef = lookupFlake(state, flakeRef, registries);
|
2019-03-21 10:30:16 +02:00
|
|
|
|
2019-03-21 10:30:16 +02:00
|
|
|
if (evalSettings.pureEval && !flakeRef.isImmutable() && (!isTopLevel || !impureTopRef))
|
2019-04-09 00:19:19 +03:00
|
|
|
throw Error("mutable flake '%s' is not allowed in pure mode; use --impure to disable", flakeRef.to_string());
|
2019-02-12 22:05:44 +02:00
|
|
|
|
2019-02-12 19:23:11 +02:00
|
|
|
auto flake = getFlake(state, flakeRef);
|
|
|
|
|
2019-03-21 10:30:16 +02:00
|
|
|
if (isTopLevel) {
|
|
|
|
deps.topFlakeId = flake.id;
|
|
|
|
isTopLevel = false;
|
|
|
|
}
|
2019-02-12 22:55:43 +02:00
|
|
|
|
2019-03-21 10:30:16 +02:00
|
|
|
for (auto & flakeRef : flake.requires)
|
|
|
|
todo.push(flakeRef);
|
2018-11-29 20:18:36 +02:00
|
|
|
|
2019-03-21 10:30:16 +02:00
|
|
|
for (auto & x : flake.nonFlakeRequires)
|
|
|
|
deps.nonFlakes.push_back(getNonFlake(state, x.second, x.first));
|
|
|
|
// TODO (Nick): If there are 2 non-flake dependencies with the same
|
|
|
|
// FlakeId, this will lead to trouble! One of the dependencies won't
|
|
|
|
// be used!
|
2019-02-12 23:43:22 +02:00
|
|
|
|
2019-03-21 10:30:16 +02:00
|
|
|
deps.flakes.push_back(flake);
|
2018-11-29 20:18:36 +02:00
|
|
|
}
|
|
|
|
|
2019-03-21 10:30:16 +02:00
|
|
|
return deps;
|
2018-11-29 20:18:36 +02:00
|
|
|
}
|
|
|
|
|
2019-02-21 07:53:01 +02:00
|
|
|
FlakeRegistry updateLockFile(EvalState & evalState, FlakeRef & flakeRef)
|
|
|
|
{
|
|
|
|
FlakeRegistry newLockFile;
|
2019-03-21 10:30:16 +02:00
|
|
|
Dependencies deps = resolveFlake(evalState, flakeRef, false);
|
2019-02-21 07:53:01 +02:00
|
|
|
// Nick assumed that "topRefPure" means that the Flake for flakeRef can be
|
|
|
|
// fetched purely.
|
2019-03-21 10:30:16 +02:00
|
|
|
for (auto const& require : deps.flakes) {
|
|
|
|
FlakeRegistry::Entry entry = FlakeRegistry::Entry(require.ref);
|
|
|
|
// The FlakeRefs are immutable because they come out of the Flake objects.
|
|
|
|
if (require.id != deps.topFlakeId)
|
|
|
|
newLockFile.entries.insert_or_assign(require.id, entry);
|
|
|
|
// TODO (Nick): If there are 2 flake dependencies with the same FlakeId,
|
|
|
|
// one of them gets ignored!
|
|
|
|
}
|
|
|
|
for (auto const& nonFlake : deps.nonFlakes) {
|
|
|
|
FlakeRegistry::Entry entry = FlakeRegistry::Entry(nonFlake.ref);
|
|
|
|
newLockFile.entries.insert_or_assign(nonFlake.id, entry);
|
|
|
|
// We are assuming the sets of FlakeIds for flakes and non-flakes
|
|
|
|
// are disjoint.
|
2019-02-21 07:53:01 +02:00
|
|
|
}
|
|
|
|
return newLockFile;
|
|
|
|
}
|
|
|
|
|
2019-03-21 10:30:16 +02:00
|
|
|
void updateLockFile(EvalState & state, Path path)
|
2019-02-21 07:53:01 +02:00
|
|
|
{
|
|
|
|
// 'path' is the path to the local flake repo.
|
2019-02-21 07:53:01 +02:00
|
|
|
FlakeRef flakeRef = FlakeRef("file://" + path);
|
2019-02-21 07:53:01 +02:00
|
|
|
if (std::get_if<FlakeRef::IsGit>(&flakeRef.data)) {
|
|
|
|
FlakeRegistry newLockFile = updateLockFile(state, flakeRef);
|
|
|
|
writeRegistry(newLockFile, path + "/flake.lock");
|
|
|
|
} else if (std::get_if<FlakeRef::IsGitHub>(&flakeRef.data)) {
|
2019-02-21 07:53:01 +02:00
|
|
|
throw UsageError("you can only update local flakes, not flakes on GitHub");
|
2019-02-21 07:53:01 +02:00
|
|
|
} else {
|
2019-02-21 07:53:01 +02:00
|
|
|
throw UsageError("you can only update local flakes, not flakes through their FlakeId");
|
2019-02-21 07:53:01 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-03-21 10:30:16 +02:00
|
|
|
// Return the `provides` of the top flake, while assigning to `v` the provides
|
|
|
|
// of the dependencies as well.
|
2019-03-21 10:30:16 +02:00
|
|
|
Value * makeFlakeValue(EvalState & state, FlakeUri flakeUri, Value & v)
|
2018-11-29 20:18:36 +02:00
|
|
|
{
|
2019-03-21 10:30:16 +02:00
|
|
|
FlakeRef flakeRef = FlakeRef(flakeUri);
|
|
|
|
|
|
|
|
Dependencies deps = resolveFlake(state, flakeRef, impure);
|
2019-02-12 22:55:43 +02:00
|
|
|
|
|
|
|
// FIXME: we should call each flake with only its dependencies
|
|
|
|
// (rather than the closure of the top-level flake).
|
2018-11-29 20:18:36 +02:00
|
|
|
|
|
|
|
auto vResult = state.allocValue();
|
2019-03-21 10:30:16 +02:00
|
|
|
// This will store the attribute set of the `nonFlakeRequires` and the `requires.provides`.
|
2018-11-29 20:18:36 +02:00
|
|
|
|
2019-03-21 10:30:16 +02:00
|
|
|
state.mkAttrs(*vResult, dependencies.flakes.size());
|
2018-11-29 20:18:36 +02:00
|
|
|
|
2019-02-12 22:55:43 +02:00
|
|
|
Value * vTop = 0;
|
|
|
|
|
2019-03-21 10:30:16 +02:00
|
|
|
for (auto & flake : deps.flakes) {
|
|
|
|
auto vFlake = state.allocAttr(*vResult, flake.id);
|
2019-02-12 22:55:43 +02:00
|
|
|
if (topFlakeId == flake.second.id) vTop = vFlake;
|
2019-04-08 23:46:25 +03:00
|
|
|
|
|
|
|
state.mkAttrs(*vFlake, 4);
|
|
|
|
|
2019-03-21 10:30:16 +02:00
|
|
|
mkString(*state.allocAttr(*vFlake, state.sDescription), flake.description);
|
2019-04-08 23:46:25 +03:00
|
|
|
|
2019-03-21 10:30:16 +02:00
|
|
|
state.store->assertStorePath(flake.path);
|
|
|
|
mkString(*state.allocAttr(*vFlake, state.sOutPath), flake.path, {flake.path});
|
2019-04-08 23:46:25 +03:00
|
|
|
|
|
|
|
if (flake.second.revCount)
|
2019-03-21 10:30:16 +02:00
|
|
|
mkInt(*state.allocAttr(*vFlake, state.symbols.create("revCount")), *flake.revCount);
|
2019-04-08 23:46:25 +03:00
|
|
|
|
2018-11-29 20:18:36 +02:00
|
|
|
auto vProvides = state.allocAttr(*vFlake, state.symbols.create("provides"));
|
2019-03-21 10:30:16 +02:00
|
|
|
mkApp(*vProvides, *flake.vProvides, *vResult); // Should this be vResult or vFlake??? Or both!
|
2019-04-08 23:46:25 +03:00
|
|
|
|
2018-11-29 20:18:36 +02:00
|
|
|
vFlake->attrs->sort();
|
|
|
|
}
|
|
|
|
|
|
|
|
vResult->attrs->sort();
|
|
|
|
|
|
|
|
v = *vResult;
|
2019-02-12 22:55:43 +02:00
|
|
|
|
|
|
|
assert(vTop);
|
|
|
|
return vTop;
|
|
|
|
}
|
|
|
|
|
|
|
|
static void prim_getFlake(EvalState & state, const Pos & pos, Value * * args, Value & v)
|
|
|
|
{
|
2019-04-08 15:21:13 +03:00
|
|
|
makeFlakeValue(state, state.forceStringNoCtx(*args[0], pos), false, v);
|
2018-11-29 20:18:36 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
static RegisterPrimOp r2("getFlake", 1, prim_getFlake);
|
|
|
|
|
|
|
|
}
|