nix/miri.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

{ fenix, pkgs }:

let
  rust-nightly-toolchain = fenix.combine [
    fenix.latest.cargo
    fenix.latest.rustc
    fenix.latest.clippy
    fenix.latest.miri
  ];
in
pkgs.writeShellApplication {
  name = "cargo-miri";
  runtimeInputs = [ rust-nightly-toolchain ];
  text = ''
    exec cargo "$@"
  '';
}