From a6e5b4abc1fd85242ad4c0c15d61862cf2224e79 Mon Sep 17 00:00:00 2001
From: Ulysse Cura <ulysse.cura@google.com>
Date: Wed, 9 Sep 2026 20:31:56 +0200
Subject: [PATCH] Working ccls pico sdk headers.

---
 shell.nix | 1 +
 1 file changed, 1 insertion(+)

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
   '';
 }