chore(nix): bring pesde installation back

Also use nix in CI, although incomplete without installation.
This commit is contained in:
Erica Marigold 2025-02-16 05:50:37 +00:00
parent 3afd58186c
commit 5ec8f01c09
Signed by: DevComp
SSH key fingerprint: SHA256:jD3oMT4WL3WHPJQbrjC3l5feNCnkv7ndW8nYaHX5wFw

26
dev.nix
View file

@ -33,6 +33,26 @@ let
'';
};
fromGithubRelease = { name, exeName, version, sha256, url ? null }:
pkgs.stdenv.mkDerivation {
name = "${exeName}-${version}";
src = if url != null then
pkgs.fetchzip {
url = url;
sha256 = sha256;
}
else
pkgs.fetchzip {
url = "https://github.com/${name}/releases/download/v${version}/${exeName}-${version}-linux-x86_64.zip";
sha256 = sha256;
};
installPhase = ''
mkdir -p $out/bin
cp ${exeName} $out/bin/
'';
};
in
pkgs.mkShell {
buildInputs = [
@ -41,6 +61,12 @@ pkgs.mkShell {
pkgs.lune
(buildDerivation "unzip" "6.0-28" "s9lSnDQ4LMjS5syCmaGFNlBO28KEuRM/++UicEhlBo4=" pkgs.bzip2)
(buildDerivation "zip" "3.0-14" "0vsh9c5wfbwsx1r1b5mkfxj5vy1xqv0wbj2i93jysyb7x1c3pq8n" pkgs.zlib)
(fromGithubRelease {
name = "pesde-pkg/pesde";
exeName = "pesde";
version = "0.6.0-rc.4+registry.0.2.0-rc.1";
sha256 = "sha256-3aD2OGUUV4+ptWLTBHVDug9RDHicSM58YDcXCiYRSyY=";
})
];
}