Merge pull request #110849 from sternenseemann/zz-unstable

zz: 0.1 -> unstable-2021-01-26
wip/yesman
Sandro 3 years ago committed by GitHub
commit b749b2afa6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 9
      pkgs/development/compilers/zz/default.nix

@ -2,18 +2,19 @@
rustPlatform.buildRustPackage rec {
pname = "zz";
version = "0.1";
version = "unstable-2021-01-26";
# commit chosen by using the latest build from http://bin.zetz.it/
src = fetchFromGitHub {
owner = "aep";
repo = "zz";
rev = version;
sha256 = "0kqrfm2r9wn0p2c3lcprsy03p9qhrwjs990va8qi59jp704l84ad";
rev = "0b5c52674e9adf795fbfb051d4dceef3126e669f";
sha256 = "0bb77ll1g5i6a04ybpgx6lqsb74xs4v4nyqm9j4j6x24407h8l89";
};
nativeBuildInputs = [ makeWrapper ];
cargoSha256 = "0yllcqxyyhwr9h0z8q84l0ms8x6jrqhpg79ik4xng6h5yf4ab0pq";
cargoSha256 = "1lf4k3n89w2797c1yrj1dp97y8a8d5hnixr1nwa2qcq1sxmm5rcg";
postInstall = ''
wrapProgram $out/bin/zz --prefix PATH ":" "${lib.getBin z3}/bin"

Loading…
Cancel
Save