pico-dirtyJtag/shell.nix at master · phdussud/pico-dirtyJtag · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
{
  mkShell,
  autoreconfHook,
  fetchpatch,
  picotool,
  # one of these is not like the others
  picocom,
  picoDirtyJtagPkgs,
  usbutils,
  openocd,
}:

let
  openocd' = openocd.overrideAttrs (prev: {
    nativeBuildInputs = prev.nativeBuildInputs or [ ] ++ [ autoreconfHook ];
    patches = prev.patches or [ ] ++ [
      (fetchpatch {
        url = "https://github.com/numinit/openocd/commit/c4f139dcd15aeffda930c76c6d1c6bd9df9de658.patch";
        hash = "sha256-poxGWfhVDQF+Or0K2nvBC4YmJ9On2brBf/iurzPVTDE=";
      })
    ];
  });
in
mkShell {
  inputsFrom = [ picoDirtyJtagPkgs.rpi.pico ];
  nativeBuildInputs = [
    picotool
    picocom
    usbutils
    openocd'
  ];
}