Merge pull request #14169 from NixOS/dev-shell-no-separate-debug-info

dev-shell: Disable separateDebugInfo

packaging/dev-shell.nix

@@ -70,6 +70,9 @@ pkgs.nixComponents2.nix-util.overrideAttrs (
 
     # We use this shell with the local checkout, not unpackPhase.
     src = null;
+    # Workaround https://sourceware.org/pipermail/gdb-patches/2025-October/221398.html
+    # Remove when gdb fix is rolled out everywhere.
+    separateDebugInfo = false;
 
     env = {
       # For `make format`, to work without installing pre-commit
@@ -93,6 +96,8 @@ pkgs.nixComponents2.nix-util.overrideAttrs (
       ++ map (transformFlag "libcmd") (ignoreCrossFile pkgs.nixComponents2.nix-cmd.mesonFlags);
 
     nativeBuildInputs =
+      let
+        inputs =
           attrs.nativeBuildInputs or [ ]
           ++ pkgs.nixComponents2.nix-util.nativeBuildInputs
           ++ pkgs.nixComponents2.nix-store.nativeBuildInputs
@@ -125,6 +130,10 @@ pkgs.nixComponents2.nix-util.overrideAttrs (
             lib.hiPrio pkgs.buildPackages.clang-tools
           )
           ++ lib.optional stdenv.hostPlatform.isLinux pkgs.buildPackages.mold-wrapped;
+      in
+      # FIXME: separateDebugInfo = false doesn't actually prevent -Wa,--compress-debug-sections
+      # from making its way into NIX_CFLAGS_COMPILE.
+      lib.filter (p: !lib.hasInfix "separate-debug-info" p) inputs;
 
     buildInputs = [
       pkgs.gbenchmark