30 lines
471 B
Nix
30 lines
471 B
Nix
with import <nixpkgs> { };
|
|
let
|
|
sdk_src = fetchFromGitHub {
|
|
fetchSubmodules = true;
|
|
owner = "raspberrypi";
|
|
repo = "pico-sdk";
|
|
rev = "1.4.0";
|
|
sha256 = "sha256-i3IAaNcd0EfKNvU104a776O1poDAChlx1m+nP8iFn8E=";
|
|
};
|
|
in
|
|
mkShell rec {
|
|
name = "pico-env";
|
|
|
|
nativeBuildInputs = [ pkg-config ];
|
|
|
|
buildInputs = [
|
|
gnumake
|
|
cmake
|
|
ninja
|
|
python3
|
|
gcc
|
|
libusb
|
|
openocd
|
|
gcc-arm-embedded
|
|
picotool
|
|
];
|
|
|
|
PICO_SDK_PATH = sdk_src;
|
|
}
|