2024-07-19 11:08:52 +00:00
|
|
|
# Generated by npins. Do not modify; will be overwritten regularly
|
|
|
|
let
|
|
|
|
data = builtins.fromJSON (builtins.readFile ./sources.json);
|
2024-07-22 00:00:01 +00:00
|
|
|
inherit (data) version;
|
2024-07-19 11:08:52 +00:00
|
|
|
|
|
|
|
mkSource =
|
|
|
|
spec:
|
|
|
|
assert spec ? type;
|
|
|
|
let
|
|
|
|
path =
|
|
|
|
if spec.type == "Git" then
|
|
|
|
mkGitSource spec
|
|
|
|
else if spec.type == "GitRelease" then
|
|
|
|
mkGitSource spec
|
|
|
|
else if spec.type == "PyPi" then
|
|
|
|
mkPyPiSource spec
|
|
|
|
else if spec.type == "Channel" then
|
|
|
|
mkChannelSource spec
|
|
|
|
else
|
|
|
|
builtins.throw "Unknown source type ${spec.type}";
|
|
|
|
in
|
|
|
|
spec // { outPath = path; };
|
|
|
|
|
|
|
|
mkGitSource =
|
|
|
|
{
|
|
|
|
repository,
|
|
|
|
revision,
|
|
|
|
url ? null,
|
|
|
|
hash,
|
|
|
|
...
|
|
|
|
}:
|
|
|
|
assert repository ? type;
|
|
|
|
# At the moment, either it is a plain git repository (which has an url), or it is a GitHub/GitLab repository
|
|
|
|
# In the latter case, there we will always be an url to the tarball
|
|
|
|
if url != null then
|
|
|
|
(builtins.fetchTarball {
|
|
|
|
inherit url;
|
2024-07-22 00:00:01 +00:00
|
|
|
sha256 = hash; # FIXME: check nix version & use SRI hashes
|
2024-07-19 11:08:52 +00:00
|
|
|
})
|
|
|
|
else
|
|
|
|
assert repository.type == "Git";
|
|
|
|
let
|
|
|
|
urlToName =
|
|
|
|
url: rev:
|
|
|
|
let
|
|
|
|
matched = builtins.match "^.*/([^/]*)(\\.git)?$" repository.url;
|
|
|
|
|
|
|
|
short = builtins.substring 0 7 rev;
|
|
|
|
|
|
|
|
appendShort = if (builtins.match "[a-f0-9]*" rev) != null then "-${short}" else "";
|
|
|
|
in
|
|
|
|
"${if matched == null then "source" else builtins.head matched}${appendShort}";
|
|
|
|
name = urlToName repository.url revision;
|
|
|
|
in
|
|
|
|
builtins.fetchGit {
|
2024-07-22 00:00:01 +00:00
|
|
|
inherit (repository) url;
|
2024-07-19 11:08:52 +00:00
|
|
|
rev = revision;
|
|
|
|
inherit name;
|
2024-07-22 00:00:01 +00:00
|
|
|
# hash = hash;
|
2024-07-19 11:08:52 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
mkPyPiSource =
|
|
|
|
{ url, hash, ... }:
|
|
|
|
builtins.fetchurl {
|
|
|
|
inherit url;
|
|
|
|
sha256 = hash;
|
|
|
|
};
|
|
|
|
|
|
|
|
mkChannelSource =
|
|
|
|
{ url, hash, ... }:
|
|
|
|
builtins.fetchTarball {
|
|
|
|
inherit url;
|
|
|
|
sha256 = hash;
|
|
|
|
};
|
|
|
|
in
|
2024-07-22 00:00:01 +00:00
|
|
|
if version == 3 then
|
2024-07-19 11:08:52 +00:00
|
|
|
builtins.mapAttrs (_: mkSource) data.pins
|
|
|
|
else
|
|
|
|
throw "Unsupported format version ${toString version} in sources.json. Try running `npins upgrade`"
|