diff options
Diffstat (limited to 'pkgs/development/tools/picotool/default.nix')
-rw-r--r-- | pkgs/development/tools/picotool/default.nix | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/pkgs/development/tools/picotool/default.nix b/pkgs/development/tools/picotool/default.nix deleted file mode 100644 index a31f46808353..000000000000 --- a/pkgs/development/tools/picotool/default.nix +++ /dev/null @@ -1,30 +0,0 @@ -{ lib, stdenv, fetchFromGitHub, cmake, pkg-config, libusb1, pico-sdk }: - -stdenv.mkDerivation rec { - pname = "picotool"; - version = "1.1.2"; - - src = fetchFromGitHub { - owner = "raspberrypi"; - repo = pname; - rev = version; - sha256 = "sha256-OcQJeiva6X2rUyh1rJ+w4O2dWxaR7MwMfbHlnWuBVb8="; - }; - - buildInputs = [ libusb1 pico-sdk ]; - nativeBuildInputs = [ cmake pkg-config ]; - cmakeFlags = [ "-DPICO_SDK_PATH=${pico-sdk}/lib/pico-sdk" ]; - - postInstall = '' - install -Dm444 ../udev/99-picotool.rules -t $out/etc/udev/rules.d - ''; - - meta = with lib; { - homepage = "https://github.com/raspberrypi/picotool"; - description = "Tool for interacting with a RP2040 device in BOOTSEL mode, or with a RP2040 binary"; - mainProgram = "picotool"; - license = licenses.bsd3; - maintainers = with maintainers; [ muscaln ]; - platforms = platforms.unix; - }; -} |