client: Install the .uf2

[tattlekey] / client / default.nix

{ pkgs ? import ~/devel/nixpkgs { }, }:
let
  cc = pkgs.pkgsCross.arm-embedded.stdenv.cc;
  tattlekey = { lib, stdenv, cmake, pico-sdk, python3 }:
    stdenv.mkDerivation {
      pname = "tattlekey";
      version = "0.0.1";
      src = lib.cleanSource ./.;
      nativeBuildInputs = [ cmake python3 ];
      cmakeFlags = [
        "-DCMAKE_C_COMPILER=${cc}/bin/arm-none-eabi-cc"
        "-DCMAKE_CXX_COMPILER=${cc}/bin/arm-none-eabi-c++"
        "-DPICO_BOARD=pico_w"
        "-DPICO_SDK_PATH=${pico-sdk.override { minimal = false; }}/lib/pico-sdk"
        "-DPICO_TOOLCHAIN_PATH=${cc}/bin"
      ];
    };
in pkgs.callPackage tattlekey {}