I am creating a dev environment for the pico debugprobe project, and somehow my LSP is complaining that it can’t find gnu/stubs-32.h
This is my devShell:
{
description = "Raspberry Pi Pico development environment";
inputs = {
flake-utils.url = "github:numtide/flake-utils";
nixpkgs.url = "github:s1syph0s/nixpkgs"; # just a fork with pico-sdk update since it's outdated
};
outputs = { self, flake-utils, nixpkgs }:
flake-utils.lib.eachDefaultSystem (system:
let
pico-sdk-overlay = final: prev: {
pico-sdk = prev.pico-sdk.override {
withSubmodules = true;
};
};
pkgs = nixpkgs.legacyPackages.${system}.extend pico-sdk-overlay;
in {
devShell = with pkgs; mkShell ({
packages = [
cmake
pkgsCross.arm-embedded.stdenv.cc
pico-sdk
ninja
python3
];
PICO_SDK_PATH = "${pico-sdk}/lib/pico-sdk";
});
}
);
}
I thought that the header is included in the arm-embedded.stdenv.cc package, but it’s not found. building the project is not a problem.
The error that i get, because it’s couldn’t find gnu/stubs-32.h:
I tried adding pkgsi868Linux.glibc to the devShell according to this comment, but that creates another error.
Adding pkgsi868Linux.glibc solves the gnu/stubs-32.h error, but leads to another error:
The errors:
