diff --git a/shell.nix b/shell.nix index b589d3d..8f259a3 100644 --- a/shell.nix +++ b/shell.nix @@ -18,6 +18,7 @@ pkgs.mkShell { ]; shellHook = '' export PICO_SDK_PATH=${local-pico-sdk}/lib/pico-sdk + export NIX_CFLAGS_COMPILE="-isystem $(shopt -s globstar && echo $PICO_SDK_PATH/lib/**/include | sed "s/ / -isystem /g") -isystem $(shopt -s globstar && echo $PICO_SDK_PATH/src/**/include | sed "s/ / -isystem /g") -isystem $(shopt -s globstar && echo $PICO_SDK_PATH/lib/**/src | sed "s/ / -isystem /g") $NIX_CFLAGS_COMPILE" unset TEMP TMP TEMPDIR TMPDIR ''; }