Nix flake for Raspberry Pi Pico projects using C

flake.nix

{
  description = "Raspberry Pi Pico projects";
  inputs = {
    nixpkgs.url = "github:NixOS/nixpkgs/nixos-22.05";
    flake-utils.url = "github:numtide/flake-utils";
  };
  outputs = { self, nixpkgs, flake-utils }:
    flake-utils.lib.eachDefaultSystem (system:
      let pkgs = import nixpkgs { inherit system; };
      in
      with pkgs; {
        devShell = mkShell {
          buildInputs =
            [
              cmake
              gcc-arm-embedded
              pico-sdk
            ];
          PICO_SDK_PATH = "${pico-sdk}";
        };
      }
    );
}