pkgs/development/libraries/pico-sdk/default.nix

   1 { lib, stdenv, fetchFromGitHub, cmake }:
   2
   3 stdenv.mkDerivation rec {
   4   pname = "pico-sdk";
   5   version = "1.4.0";
   6
   7   src = fetchFromGitHub {
   8     owner = "raspberrypi";
   9     repo = pname;
  10     rev = version;
  11     sha256 = "sha256-i3IAaNcd0EfKNvU104a776O1poDAChlx1m+nP8iFn8E=";
  12   };
  13
  14   nativeBuildInputs = [ cmake ];
  15
  16   # SDK contains libraries and build-system to develop projects for RP2040 chip
  17   # We only need to compile pioasm binary
  18   sourceRoot = "source/tools/pioasm";
  19
  20   installPhase = ''
  21     runHook preInstall
  22     mkdir -p $out/lib/pico-sdk
  23     cp -a ../../../* $out/lib/pico-sdk/
  24     chmod 755 $out/lib/pico-sdk/tools/pioasm/build/pioasm
  25     runHook postInstall
  26   '';
  27
  28   meta = with lib; {
  29     homepage = "https://github.com/raspberrypi/picotool";
  30     description = "SDK provides the headers, libraries and build system necessary to write programs for the RP2040-based devices";
  31     license = licenses.bsd3;
  32     maintainers = with maintainers; [ muscaln ];
  33     platforms = platforms.unix;
  34   };
  35 }