mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-04 12:53:05 +00:00
36 lines
1001 B
Nix
36 lines
1001 B
Nix
{ lib, stdenv, fetchFromGitHub, cmake }:
|
|
|
|
stdenv.mkDerivation rec {
|
|
pname = "pico-sdk";
|
|
version = "1.4.0";
|
|
|
|
src = fetchFromGitHub {
|
|
owner = "raspberrypi";
|
|
repo = pname;
|
|
rev = version;
|
|
sha256 = "sha256-i3IAaNcd0EfKNvU104a776O1poDAChlx1m+nP8iFn8E=";
|
|
};
|
|
|
|
nativeBuildInputs = [ cmake ];
|
|
|
|
# SDK contains libraries and build-system to develop projects for RP2040 chip
|
|
# We only need to compile pioasm binary
|
|
sourceRoot = "source/tools/pioasm";
|
|
|
|
installPhase = ''
|
|
runHook preInstall
|
|
mkdir -p $out/lib/pico-sdk
|
|
cp -a ../../../* $out/lib/pico-sdk/
|
|
chmod 755 $out/lib/pico-sdk/tools/pioasm/build/pioasm
|
|
runHook postInstall
|
|
'';
|
|
|
|
meta = with lib; {
|
|
homepage = "https://github.com/raspberrypi/picotool";
|
|
description = "SDK provides the headers, libraries and build system necessary to write programs for the RP2040-based devices";
|
|
license = licenses.bsd3;
|
|
maintainers = with maintainers; [ muscaln ];
|
|
platforms = platforms.unix;
|
|
};
|
|
}
|