diff options
author | Alan Pearce | 2024-05-26 12:46:19 +0200 |
---|---|---|
committer | Alan Pearce | 2024-05-26 12:46:19 +0200 |
commit | 8504ec47c5547f6fa567f67464af49e46e9ce4de (patch) | |
tree | 0d265afa59579e087fb9c98d2d3f5cd78a6d6e2d /npins/default.nix | |
parent | 08ee9df16ac36870cab7479b9c38e717f0ad3750 (diff) | |
download | nixfiles-8504ec47c5547f6fa567f67464af49e46e9ce4de.tar.lz nixfiles-8504ec47c5547f6fa567f67464af49e46e9ce4de.tar.zst nixfiles-8504ec47c5547f6fa567f67464af49e46e9ce4de.zip |
switch from niv to npins
Diffstat (limited to 'npins/default.nix')
-rw-r--r-- | npins/default.nix | 80 |
1 files changed, 80 insertions, 0 deletions
diff --git a/npins/default.nix b/npins/default.nix new file mode 100644 index 00000000..5e7d086e --- /dev/null +++ b/npins/default.nix @@ -0,0 +1,80 @@ +# Generated by npins. Do not modify; will be overwritten regularly +let + data = builtins.fromJSON (builtins.readFile ./sources.json); + version = data.version; + + 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, + branch ? null, + ... + }: + 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; + sha256 = hash; # FIXME: check nix version & use SRI hashes + }) + 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 { + url = repository.url; + rev = revision; + inherit name; + # hash = hash; + }; + + mkPyPiSource = + { url, hash, ... }: + builtins.fetchurl { + inherit url; + sha256 = hash; + }; + + mkChannelSource = + { url, hash, ... }: + builtins.fetchTarball { + inherit url; + sha256 = hash; + }; +in +if version == 3 then + builtins.mapAttrs (_: mkSource) data.pins +else + throw "Unsupported format version ${toString version} in sources.json. Try running `npins upgrade`" |