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"
|
2019-02-21 05:53:01 +00:00
|
|
|
#include "args.hh"
|
2018-11-29 18:18:36 +00:00
|
|
|
|
2019-02-21 05:53:01 +00:00
|
|
|
#include <iostream>
|
2018-11-29 18:18:36 +00:00
|
|
|
#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-04-15 12:08:18 +00:00
|
|
|
/* Read a registry. */
|
2019-03-21 08:30:16 +00:00
|
|
|
std::shared_ptr<FlakeRegistry> readRegistry(const Path & path)
|
2019-02-12 21:43:22 +00:00
|
|
|
{
|
2019-03-21 08:30:16 +00:00
|
|
|
auto registry = std::make_shared<FlakeRegistry>();
|
2019-02-12 21:43:22 +00:00
|
|
|
|
2019-03-21 08:30:16 +00:00
|
|
|
if (!pathExists(path))
|
|
|
|
return std::make_shared<FlakeRegistry>();
|
2019-03-26 11:48:57 +00:00
|
|
|
|
2019-03-21 08:30:16 +00:00
|
|
|
auto json = nlohmann::json::parse(readFile(path));
|
2019-03-26 11:48:57 +00:00
|
|
|
|
2019-03-21 08:30:16 +00: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"];
|
2019-04-08 17:03:00 +00:00
|
|
|
for (auto i = flakes.begin(); i != flakes.end(); ++i)
|
|
|
|
registry->entries.emplace(i.key(), FlakeRef(i->value("uri", "")));
|
2019-02-12 21:43:22 +00:00
|
|
|
|
|
|
|
return registry;
|
|
|
|
}
|
|
|
|
|
2019-04-15 12:08:18 +00:00
|
|
|
/* Write a registry to a file. */
|
2019-04-16 12:27:54 +00:00
|
|
|
void writeRegistry(const FlakeRegistry & registry, const Path & path)
|
2019-02-25 12:46:37 +00:00
|
|
|
{
|
2019-03-29 15:18:25 +00:00
|
|
|
nlohmann::json json;
|
2019-02-21 05:53:01 +00:00
|
|
|
json["version"] = 1;
|
2019-04-08 17:03:00 +00:00
|
|
|
for (auto elem : registry.entries)
|
|
|
|
json["flakes"][elem.first.to_string()] = { {"uri", elem.second.to_string()} };
|
2019-03-26 11:48:57 +00:00
|
|
|
createDirs(dirOf(path));
|
2019-02-25 12:46:37 +00:00
|
|
|
writeFile(path, json.dump(4)); // The '4' is the number of spaces used in the indentation in the json file.
|
|
|
|
}
|
|
|
|
|
2019-03-29 15:18:25 +00:00
|
|
|
LockFile::FlakeEntry readFlakeEntry(nlohmann::json json)
|
|
|
|
{
|
|
|
|
FlakeRef flakeRef(json["uri"]);
|
|
|
|
if (!flakeRef.isImmutable())
|
|
|
|
throw Error("requested to fetch FlakeRef '%s' purely, which is mutable", flakeRef.to_string());
|
|
|
|
|
|
|
|
LockFile::FlakeEntry entry(flakeRef);
|
|
|
|
|
|
|
|
auto nonFlakeRequires = json["nonFlakeRequires"];
|
|
|
|
|
|
|
|
for (auto i = nonFlakeRequires.begin(); i != nonFlakeRequires.end(); ++i) {
|
|
|
|
FlakeRef flakeRef(i->value("uri", ""));
|
|
|
|
if (!flakeRef.isImmutable())
|
|
|
|
throw Error("requested to fetch FlakeRef '%s' purely, which is mutable", flakeRef.to_string());
|
|
|
|
entry.nonFlakeEntries.insert_or_assign(i.key(), flakeRef);
|
|
|
|
}
|
|
|
|
|
|
|
|
auto requires = json["requires"];
|
|
|
|
|
|
|
|
for (auto i = requires.begin(); i != requires.end(); ++i)
|
|
|
|
entry.flakeEntries.insert_or_assign(i.key(), readFlakeEntry(*i));
|
|
|
|
|
|
|
|
return entry;
|
|
|
|
}
|
|
|
|
|
|
|
|
LockFile readLockFile(const Path & path)
|
|
|
|
{
|
|
|
|
LockFile lockFile;
|
|
|
|
|
|
|
|
if (!pathExists(path))
|
|
|
|
return lockFile;
|
|
|
|
|
|
|
|
auto json = nlohmann::json::parse(readFile(path));
|
|
|
|
|
|
|
|
auto version = json.value("version", 0);
|
|
|
|
if (version != 1)
|
|
|
|
throw Error("lock file '%s' has unsupported version %d", path, version);
|
|
|
|
|
|
|
|
auto nonFlakeRequires = json["nonFlakeRequires"];
|
|
|
|
|
|
|
|
for (auto i = nonFlakeRequires.begin(); i != nonFlakeRequires.end(); ++i) {
|
|
|
|
FlakeRef flakeRef(i->value("uri", ""));
|
|
|
|
if (!flakeRef.isImmutable())
|
|
|
|
throw Error("requested to fetch FlakeRef '%s' purely, which is mutable", flakeRef.to_string());
|
|
|
|
lockFile.nonFlakeEntries.insert_or_assign(i.key(), flakeRef);
|
|
|
|
}
|
|
|
|
|
|
|
|
auto requires = json["requires"];
|
|
|
|
|
|
|
|
for (auto i = requires.begin(); i != requires.end(); ++i)
|
|
|
|
lockFile.flakeEntries.insert_or_assign(i.key(), readFlakeEntry(*i));
|
|
|
|
|
|
|
|
return lockFile;
|
|
|
|
}
|
|
|
|
|
2019-04-16 12:27:54 +00:00
|
|
|
nlohmann::json flakeEntryToJson(const LockFile::FlakeEntry & entry)
|
2019-03-29 15:18:25 +00:00
|
|
|
{
|
|
|
|
nlohmann::json json;
|
|
|
|
json["uri"] = entry.ref.to_string();
|
|
|
|
for (auto & x : entry.nonFlakeEntries)
|
|
|
|
json["nonFlakeRequires"][x.first]["uri"] = x.second.to_string();
|
|
|
|
for (auto & x : entry.flakeEntries)
|
2019-04-16 14:18:47 +00:00
|
|
|
json["requires"][x.first.to_string()] = flakeEntryToJson(x.second);
|
2019-03-29 15:18:25 +00:00
|
|
|
return json;
|
|
|
|
}
|
|
|
|
|
2019-04-16 12:27:54 +00:00
|
|
|
void writeLockFile(const LockFile & lockFile, const Path & path)
|
2019-03-29 15:18:25 +00:00
|
|
|
{
|
|
|
|
nlohmann::json json;
|
|
|
|
json["version"] = 1;
|
2019-04-16 12:23:10 +00:00
|
|
|
json["nonFlakeRequires"] = nlohmann::json::object();
|
2019-03-29 15:18:25 +00:00
|
|
|
for (auto & x : lockFile.nonFlakeEntries)
|
|
|
|
json["nonFlakeRequires"][x.first]["uri"] = x.second.to_string();
|
2019-04-16 12:23:10 +00:00
|
|
|
json["requires"] = nlohmann::json::object();
|
2019-03-29 15:18:25 +00:00
|
|
|
for (auto & x : lockFile.flakeEntries)
|
2019-04-16 14:18:47 +00:00
|
|
|
json["requires"][x.first.to_string()] = flakeEntryToJson(x.second);
|
2019-03-29 15:18:25 +00:00
|
|
|
createDirs(dirOf(path));
|
|
|
|
writeFile(path, json.dump(4)); // '4' = indentation in json file
|
|
|
|
}
|
|
|
|
|
2019-04-08 17:03:00 +00:00
|
|
|
std::shared_ptr<FlakeRegistry> getGlobalRegistry()
|
2019-03-21 08:30:16 +00:00
|
|
|
{
|
2019-04-15 11:48:56 +00:00
|
|
|
Path registryFile = settings.nixDataDir + "/nix/flake-registry.json";
|
|
|
|
return readRegistry(registryFile);
|
2019-03-21 08:30:16 +00:00
|
|
|
}
|
|
|
|
|
2019-04-08 17:03:00 +00:00
|
|
|
Path getUserRegistryPath()
|
2019-03-21 08:30:16 +00:00
|
|
|
{
|
2019-04-08 17:03:00 +00:00
|
|
|
return getHome() + "/.config/nix/registry.json";
|
2019-03-21 08:30:16 +00:00
|
|
|
}
|
|
|
|
|
2019-04-08 17:03:00 +00:00
|
|
|
std::shared_ptr<FlakeRegistry> getUserRegistry()
|
2019-03-21 08:30:16 +00:00
|
|
|
{
|
2019-04-08 17:03:00 +00:00
|
|
|
return readRegistry(getUserRegistryPath());
|
2019-03-21 08:30:16 +00:00
|
|
|
}
|
|
|
|
|
2019-03-21 08:30:16 +00:00
|
|
|
std::shared_ptr<FlakeRegistry> getFlagRegistry()
|
|
|
|
{
|
2019-04-08 17:03:00 +00:00
|
|
|
// TODO (Nick): Implement this.
|
2019-03-21 08:30:16 +00:00
|
|
|
return std::make_shared<FlakeRegistry>();
|
|
|
|
}
|
2018-11-29 18:18:36 +00:00
|
|
|
|
2019-03-21 08:30:16 +00:00
|
|
|
const std::vector<std::shared_ptr<FlakeRegistry>> EvalState::getFlakeRegistries()
|
|
|
|
{
|
|
|
|
std::vector<std::shared_ptr<FlakeRegistry>> registries;
|
2019-04-15 11:48:56 +00:00
|
|
|
registries.push_back(getGlobalRegistry());
|
|
|
|
registries.push_back(getUserRegistry());
|
2019-03-21 08:30:16 +00:00
|
|
|
registries.push_back(getFlagRegistry());
|
|
|
|
return registries;
|
2018-11-29 18:18:36 +00:00
|
|
|
}
|
|
|
|
|
2019-02-12 21:43:22 +00:00
|
|
|
static FlakeRef lookupFlake(EvalState & state, const FlakeRef & flakeRef,
|
2019-04-16 12:27:54 +00:00
|
|
|
const std::vector<std::shared_ptr<FlakeRegistry>> & registries,
|
|
|
|
std::vector<FlakeRef> pastSearches = {})
|
2019-02-12 17:23:11 +00:00
|
|
|
{
|
2019-04-16 13:02:02 +00:00
|
|
|
if (registries.empty() && !flakeRef.isDirect())
|
|
|
|
throw Error("indirect flake reference '%s' is not allowed", flakeRef.to_string());
|
|
|
|
|
2019-04-08 17:03:00 +00:00
|
|
|
for (std::shared_ptr<FlakeRegistry> registry : registries) {
|
|
|
|
auto i = registry->entries.find(flakeRef);
|
|
|
|
if (i != registry->entries.end()) {
|
|
|
|
auto newRef = i->second;
|
|
|
|
if (std::get_if<FlakeRef::IsAlias>(&flakeRef.data)) {
|
|
|
|
if (flakeRef.ref) newRef.ref = flakeRef.ref;
|
|
|
|
if (flakeRef.rev) newRef.rev = flakeRef.rev;
|
|
|
|
}
|
|
|
|
std::string errorMsg = "found cycle in flake registries: ";
|
|
|
|
for (FlakeRef oldRef : pastSearches) {
|
|
|
|
errorMsg += oldRef.to_string();
|
|
|
|
if (oldRef == newRef)
|
|
|
|
throw Error(errorMsg);
|
|
|
|
errorMsg += " - ";
|
2019-02-12 21:43:22 +00:00
|
|
|
}
|
2019-04-08 17:03:00 +00:00
|
|
|
pastSearches.push_back(newRef);
|
|
|
|
return lookupFlake(state, newRef, registries, pastSearches);
|
2019-02-12 21:43:22 +00:00
|
|
|
}
|
2019-04-08 17:03:00 +00:00
|
|
|
}
|
2019-04-16 13:02:02 +00:00
|
|
|
|
2019-04-08 17:03:00 +00:00
|
|
|
if (!flakeRef.isDirect())
|
2019-04-16 13:02:02 +00:00
|
|
|
throw Error("could not resolve flake reference '%s'", flakeRef.to_string());
|
|
|
|
|
2019-04-08 17:03:00 +00:00
|
|
|
return flakeRef;
|
2019-02-12 17:23:11 +00:00
|
|
|
}
|
|
|
|
|
2019-04-06 18:45:35 +00:00
|
|
|
static FlakeSourceInfo fetchFlake(EvalState & state, const FlakeRef flakeRef, bool impureIsAllowed = false)
|
2018-11-29 18:18:36 +00:00
|
|
|
{
|
2019-04-16 13:02:02 +00:00
|
|
|
FlakeRef fRef = lookupFlake(state, flakeRef,
|
|
|
|
impureIsAllowed ? state.getFlakeRegistries() : std::vector<std::shared_ptr<FlakeRegistry>>());
|
2018-12-12 12:20:59 +00:00
|
|
|
|
2019-04-17 11:54:06 +00:00
|
|
|
if (evalSettings.pureEval && !impureIsAllowed && !fRef.isImmutable())
|
|
|
|
throw Error("requested to fetch mutable flake '%s' in pure mode", fRef.to_string());
|
|
|
|
|
2019-04-08 17:03:00 +00:00
|
|
|
// This only downloads only one revision of the repo, not the entire history.
|
2019-04-06 18:45:35 +00:00
|
|
|
if (auto refData = std::get_if<FlakeRef::IsGitHub>(&fRef.data)) {
|
2018-12-12 12:20:59 +00:00
|
|
|
|
|
|
|
// FIXME: use regular /archive URLs instead? api.github.com
|
|
|
|
// might have stricter rate limits.
|
2019-02-12 17:23:11 +00:00
|
|
|
|
2019-02-25 15:20:50 +00:00
|
|
|
auto url = fmt("https://api.github.com/repos/%s/%s/tarball/%s",
|
|
|
|
refData->owner, refData->repo,
|
2019-04-06 18:45:35 +00:00
|
|
|
fRef.rev ? fRef.rev->to_string(Base16, false)
|
|
|
|
: fRef.ref ? *fRef.ref : "master");
|
2019-02-25 15:20:50 +00:00
|
|
|
|
2019-04-10 10:12:44 +00:00
|
|
|
std::string accessToken = settings.githubAccessToken.get();
|
|
|
|
if (accessToken != "")
|
|
|
|
url += "?access_token=" + accessToken;
|
|
|
|
|
2019-02-25 15:23:45 +00:00
|
|
|
auto result = getDownloader()->downloadCached(state.store, url, true, "source",
|
2019-04-06 18:45:35 +00:00
|
|
|
Hash(), nullptr, fRef.rev ? 1000000000 : settings.tarballTtl);
|
2018-12-12 12:20:59 +00:00
|
|
|
|
2019-02-25 15:20:50 +00:00
|
|
|
if (!result.etag)
|
|
|
|
throw Error("did not receive an ETag header from '%s'", url);
|
2018-12-12 12:20:59 +00:00
|
|
|
|
2019-02-25 15:20:50 +00: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);
|
|
|
|
|
2019-04-16 13:40:58 +00:00
|
|
|
FlakeSourceInfo info(fRef);
|
2019-02-25 15:20:50 +00:00
|
|
|
info.storePath = result.path;
|
|
|
|
info.rev = Hash(std::string(*result.etag, 1, result.etag->size() - 2), htSHA1);
|
2019-04-16 13:40:58 +00:00
|
|
|
info.flakeRef.rev = info.rev;
|
|
|
|
info.flakeRef.ref = {};
|
2019-02-25 15:20:50 +00:00
|
|
|
|
|
|
|
return info;
|
2018-12-12 12:20:59 +00:00
|
|
|
}
|
|
|
|
|
2019-04-08 17:03:00 +00:00
|
|
|
// This downloads the entire git history
|
2019-04-06 18:45:35 +00:00
|
|
|
else if (auto refData = std::get_if<FlakeRef::IsGit>(&fRef.data)) {
|
2019-04-19 09:34:23 +00:00
|
|
|
auto gitInfo = exportGit(state.store, refData->uri, fRef.ref, fRef.rev, "source");
|
2019-04-16 13:40:58 +00:00
|
|
|
FlakeSourceInfo info(fRef);
|
2019-02-25 15:20:50 +00:00
|
|
|
info.storePath = gitInfo.storePath;
|
2019-04-19 09:34:23 +00:00
|
|
|
info.rev = gitInfo.rev;
|
2019-04-08 20:46:25 +00:00
|
|
|
info.revCount = gitInfo.revCount;
|
2019-04-19 09:16:14 +00:00
|
|
|
info.flakeRef.ref = gitInfo.ref;
|
2019-04-16 13:40:58 +00:00
|
|
|
info.flakeRef.rev = info.rev;
|
2019-04-08 20:46:25 +00:00
|
|
|
return info;
|
|
|
|
}
|
|
|
|
|
2019-04-08 17:03:00 +00:00
|
|
|
else if (auto refData = std::get_if<FlakeRef::IsPath>(&fRef.data)) {
|
2019-04-08 20:46:25 +00:00
|
|
|
if (!pathExists(refData->path + "/.git"))
|
|
|
|
throw Error("flake '%s' does not reference a Git repository", refData->path);
|
2019-04-19 09:34:23 +00:00
|
|
|
auto gitInfo = exportGit(state.store, refData->path, {}, {}, "source");
|
2019-04-16 13:40:58 +00:00
|
|
|
FlakeSourceInfo info(fRef);
|
2019-04-08 20:46:25 +00:00
|
|
|
info.storePath = gitInfo.storePath;
|
2019-04-19 09:34:23 +00:00
|
|
|
info.rev = gitInfo.rev;
|
2019-04-08 20:46:25 +00:00
|
|
|
info.revCount = gitInfo.revCount;
|
2019-04-19 09:34:23 +00:00
|
|
|
info.flakeRef.ref = gitInfo.ref;
|
2019-04-16 13:40:58 +00:00
|
|
|
info.flakeRef.rev = info.rev;
|
2019-02-25 15:20:50 +00:00
|
|
|
return info;
|
2018-11-30 15:11:15 +00:00
|
|
|
}
|
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-03-29 15:18:25 +00:00
|
|
|
// This will return the flake which corresponds to a given FlakeRef. The lookupFlake is done within this function.
|
|
|
|
Flake getFlake(EvalState & state, const FlakeRef & flakeRef, bool impureIsAllowed = false)
|
2018-11-30 15:11:15 +00:00
|
|
|
{
|
2019-04-16 12:16:20 +00:00
|
|
|
FlakeSourceInfo sourceInfo = fetchFlake(state, flakeRef, impureIsAllowed);
|
2019-02-25 15:20:50 +00:00
|
|
|
debug("got flake source '%s' with revision %s",
|
|
|
|
sourceInfo.storePath, sourceInfo.rev.value_or(Hash(htSHA1)).to_string(Base16, false));
|
|
|
|
|
2019-04-16 13:40:58 +00:00
|
|
|
state.store->assertStorePath(sourceInfo.storePath);
|
2018-11-30 15:11:15 +00:00
|
|
|
|
2019-02-12 19:35:03 +00:00
|
|
|
if (state.allowedPaths)
|
2019-04-16 13:40:58 +00:00
|
|
|
state.allowedPaths->insert(sourceInfo.storePath);
|
2019-02-12 19:35:03 +00:00
|
|
|
|
2019-04-16 13:40:58 +00:00
|
|
|
Flake flake(flakeRef, std::move(sourceInfo));
|
2019-03-21 08:30:16 +00:00
|
|
|
if (std::get_if<FlakeRef::IsGitHub>(&flakeRef.data)) {
|
2019-04-16 13:40:58 +00:00
|
|
|
// FIXME: ehm?
|
|
|
|
if (flake.sourceInfo.rev)
|
2019-03-21 08:30:16 +00:00
|
|
|
flake.ref = FlakeRef(flakeRef.baseRef().to_string()
|
2019-04-16 13:40:58 +00:00
|
|
|
+ "/" + flake.sourceInfo.rev->to_string(Base16, false));
|
2019-02-21 05:53:01 +00:00
|
|
|
}
|
|
|
|
|
2018-11-29 18:18:36 +00:00
|
|
|
Value vInfo;
|
2019-04-16 13:40:58 +00:00
|
|
|
state.evalFile(sourceInfo.storePath + "/flake.nix", vInfo); // FIXME: symlink attack
|
2018-11-29 18:18:36 +00:00
|
|
|
|
|
|
|
state.forceAttrs(vInfo);
|
|
|
|
|
2019-04-16 11:56:08 +00:00
|
|
|
// FIXME: change to "id"?
|
2018-11-29 18:18:36 +00:00
|
|
|
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
|
|
|
}
|
|
|
|
|
2019-03-21 08:30:16 +00: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 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'");
|
|
|
|
|
|
|
|
return flake;
|
|
|
|
}
|
|
|
|
|
2019-03-21 08:30:16 +00:00
|
|
|
// Get the `NonFlake` corresponding to a `FlakeRef`.
|
2019-03-21 08:30:16 +00:00
|
|
|
NonFlake getNonFlake(EvalState & state, const FlakeRef & flakeRef, FlakeAlias alias)
|
2019-03-21 08:30:16 +00:00
|
|
|
{
|
|
|
|
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;
|
|
|
|
|
2019-03-21 08:30:16 +00:00
|
|
|
nonFlake.alias = alias;
|
2019-03-21 08:30:16 +00:00
|
|
|
|
|
|
|
return nonFlake;
|
|
|
|
}
|
|
|
|
|
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.
|
|
|
|
*/
|
2019-04-16 13:02:02 +00:00
|
|
|
Dependencies resolveFlake(EvalState & state, const FlakeRef & topRef,
|
|
|
|
RegistryAccess registryAccess, bool isTopFlake)
|
2018-11-29 18:18:36 +00:00
|
|
|
{
|
2019-04-16 13:02:02 +00:00
|
|
|
Flake flake = getFlake(state, topRef,
|
|
|
|
registryAccess == AllowRegistry || (registryAccess == AllowRegistryAtTop && isTopFlake));
|
2019-04-16 14:18:47 +00:00
|
|
|
|
|
|
|
LockFile lockFile;
|
|
|
|
|
|
|
|
if (isTopFlake)
|
|
|
|
lockFile = readLockFile(flake.sourceInfo.storePath + "/flake.lock"); // FIXME: symlink attack
|
|
|
|
|
2019-03-29 15:18:25 +00:00
|
|
|
Dependencies deps(flake);
|
2018-11-29 18:18:36 +00:00
|
|
|
|
2019-03-29 15:18:25 +00:00
|
|
|
for (auto & nonFlakeInfo : flake.nonFlakeRequires)
|
|
|
|
deps.nonFlakeDeps.push_back(getNonFlake(state, nonFlakeInfo.second, nonFlakeInfo.first));
|
2019-03-21 08:30:16 +00:00
|
|
|
|
2019-04-16 14:18:47 +00:00
|
|
|
for (auto newFlakeRef : flake.requires) {
|
|
|
|
auto i = lockFile.flakeEntries.find(newFlakeRef);
|
|
|
|
if (i != lockFile.flakeEntries.end()) newFlakeRef = i->second.ref;
|
|
|
|
// FIXME: propagate lockFile downwards
|
2019-04-16 13:02:02 +00:00
|
|
|
deps.flakeDeps.push_back(resolveFlake(state, newFlakeRef, registryAccess, false));
|
2019-04-16 14:18:47 +00:00
|
|
|
}
|
2019-02-12 20:05:44 +00:00
|
|
|
|
2019-03-29 15:18:25 +00:00
|
|
|
return deps;
|
|
|
|
}
|
2019-02-12 20:55:43 +00:00
|
|
|
|
2019-04-16 12:27:54 +00:00
|
|
|
LockFile::FlakeEntry dependenciesToFlakeEntry(const Dependencies & deps)
|
2019-03-29 15:18:25 +00:00
|
|
|
{
|
2019-04-16 13:40:58 +00:00
|
|
|
LockFile::FlakeEntry entry(deps.flake.sourceInfo.flakeRef);
|
2018-11-29 18:18:36 +00:00
|
|
|
|
2019-04-16 12:27:54 +00:00
|
|
|
for (auto & deps : deps.flakeDeps)
|
2019-03-29 15:18:25 +00:00
|
|
|
entry.flakeEntries.insert_or_assign(deps.flake.id, dependenciesToFlakeEntry(deps));
|
2019-02-12 21:43:22 +00:00
|
|
|
|
2019-04-16 12:27:54 +00:00
|
|
|
for (auto & nonFlake : deps.nonFlakeDeps)
|
2019-03-21 08:30:16 +00:00
|
|
|
entry.nonFlakeEntries.insert_or_assign(nonFlake.alias, nonFlake.ref);
|
2018-11-29 18:18:36 +00:00
|
|
|
|
2019-03-29 15:18:25 +00:00
|
|
|
return entry;
|
2018-11-29 18:18:36 +00:00
|
|
|
}
|
|
|
|
|
2019-04-16 13:02:02 +00:00
|
|
|
static LockFile makeLockFile(EvalState & evalState, FlakeRef & flakeRef)
|
2019-02-21 05:53:01 +00:00
|
|
|
{
|
2019-04-16 13:02:02 +00:00
|
|
|
Dependencies deps = resolveFlake(evalState, flakeRef, AllowRegistry);
|
2019-03-29 15:18:25 +00:00
|
|
|
LockFile::FlakeEntry entry = dependenciesToFlakeEntry(deps);
|
|
|
|
LockFile lockFile;
|
|
|
|
lockFile.flakeEntries = entry.flakeEntries;
|
|
|
|
lockFile.nonFlakeEntries = entry.nonFlakeEntries;
|
|
|
|
return lockFile;
|
2019-02-21 05:53:01 +00:00
|
|
|
}
|
|
|
|
|
2019-04-16 12:27:54 +00:00
|
|
|
void updateLockFile(EvalState & state, const Path & path)
|
2019-02-21 05:53:01 +00:00
|
|
|
{
|
2019-04-16 13:40:58 +00:00
|
|
|
// FIXME: don't copy 'path' to the store (especially since we
|
|
|
|
// dirty it immediately afterwards).
|
|
|
|
|
|
|
|
FlakeRef flakeRef = FlakeRef(path); // FIXME: ugly
|
2019-04-16 13:02:02 +00:00
|
|
|
auto lockFile = makeLockFile(state, flakeRef);
|
|
|
|
writeLockFile(lockFile, path + "/flake.lock");
|
2019-04-16 13:11:17 +00:00
|
|
|
|
|
|
|
// Hack: Make sure that flake.lock is visible to Git. Otherwise,
|
|
|
|
// exportGit will fail to copy it to the Nix store.
|
|
|
|
runProgram("git", true, { "-C", path, "add", "flake.lock" });
|
2019-02-21 05:53:01 +00:00
|
|
|
}
|
|
|
|
|
2019-04-16 11:56:08 +00:00
|
|
|
void callFlake(EvalState & state, const Dependencies & flake, Value & v)
|
2018-11-29 18:18:36 +00:00
|
|
|
{
|
2019-04-16 11:56:08 +00:00
|
|
|
// Construct the resulting attrset '{description, provides,
|
|
|
|
// ...}'. This attrset is passed lazily as an argument to 'provides'.
|
2018-11-29 18:18:36 +00:00
|
|
|
|
2019-04-19 08:58:08 +00:00
|
|
|
state.mkAttrs(v, flake.flakeDeps.size() + flake.nonFlakeDeps.size() + 8);
|
2018-11-29 18:18:36 +00:00
|
|
|
|
2019-04-16 11:56:08 +00:00
|
|
|
for (auto & dep : flake.flakeDeps) {
|
|
|
|
auto vFlake = state.allocAttr(v, dep.flake.id);
|
|
|
|
callFlake(state, dep, *vFlake);
|
|
|
|
}
|
2019-04-08 20:46:25 +00:00
|
|
|
|
2019-04-16 11:56:08 +00:00
|
|
|
for (auto & dep : flake.nonFlakeDeps) {
|
|
|
|
auto vNonFlake = state.allocAttr(v, dep.alias);
|
|
|
|
state.mkAttrs(*vNonFlake, 4);
|
2019-04-08 20:46:25 +00:00
|
|
|
|
2019-04-16 11:56:08 +00:00
|
|
|
state.store->isValidPath(dep.path);
|
|
|
|
mkString(*state.allocAttr(*vNonFlake, state.sOutPath), dep.path, {dep.path});
|
|
|
|
}
|
2019-04-08 20:46:25 +00:00
|
|
|
|
2019-04-16 11:56:08 +00:00
|
|
|
mkString(*state.allocAttr(v, state.sDescription), flake.flake.description);
|
2019-04-08 20:46:25 +00:00
|
|
|
|
2019-04-16 13:40:58 +00:00
|
|
|
auto & path = flake.flake.sourceInfo.storePath;
|
|
|
|
state.store->isValidPath(path);
|
|
|
|
mkString(*state.allocAttr(v, state.sOutPath), path, {path});
|
2019-04-08 20:46:25 +00:00
|
|
|
|
2019-04-16 13:40:58 +00:00
|
|
|
if (flake.flake.sourceInfo.revCount)
|
|
|
|
mkInt(*state.allocAttr(v, state.symbols.create("revCount")), *flake.flake.sourceInfo.revCount);
|
2018-11-29 18:18:36 +00:00
|
|
|
|
2019-04-16 11:56:08 +00:00
|
|
|
auto vProvides = state.allocAttr(v, state.symbols.create("provides"));
|
|
|
|
mkApp(*vProvides, *flake.flake.vProvides, v);
|
2018-11-29 18:18:36 +00:00
|
|
|
|
2019-04-16 14:29:44 +00:00
|
|
|
v.attrs->push_back(Attr(state.symbols.create("self"), &v));
|
|
|
|
|
2019-04-16 11:56:08 +00:00
|
|
|
v.attrs->sort();
|
|
|
|
}
|
2019-02-12 20:55:43 +00:00
|
|
|
|
2019-04-16 11:56:08 +00:00
|
|
|
// Return the `provides` of the top flake, while assigning to `v` the provides
|
|
|
|
// of the dependencies as well.
|
2019-04-16 13:02:02 +00:00
|
|
|
void makeFlakeValue(EvalState & state, const FlakeRef & flakeRef, RegistryAccess registryAccess, Value & v)
|
2019-04-16 11:56:08 +00:00
|
|
|
{
|
2019-04-16 13:02:02 +00:00
|
|
|
callFlake(state, resolveFlake(state, flakeRef, registryAccess), v);
|
2019-02-12 20:55:43 +00:00
|
|
|
}
|
|
|
|
|
2019-03-29 15:18:25 +00:00
|
|
|
// This function is exposed to be used in nix files.
|
2019-02-12 20:55:43 +00:00
|
|
|
static void prim_getFlake(EvalState & state, const Pos & pos, Value * * args, Value & v)
|
|
|
|
{
|
2019-04-16 13:02:02 +00:00
|
|
|
makeFlakeValue(state, state.forceStringNoCtx(*args[0], pos),
|
|
|
|
evalSettings.pureEval ? DisallowRegistry : AllowRegistryAtTop, v);
|
2018-11-29 18:18:36 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
static RegisterPrimOp r2("getFlake", 1, prim_getFlake);
|
|
|
|
|
|
|
|
}
|