From 71d124815fb4812e5b01f8d3dd24a334b950bfc3 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Wed, 18 Sep 2024 14:35:00 +0200
Subject: [PATCH] Save stdenv in gcroot

---
 flake.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/flake.nix b/flake.nix
index af50ba0..77ba7a2 100644
--- a/flake.nix
+++ b/flake.nix
@@ -120,7 +120,7 @@
       UBOOT_ENV = syspkgs.uboot-env;
       BITSTREAM = syspkgs.bitstream;
       BOOTROM = syspkgs.bootrom;
-      GCROOT = buildRoots { pkgs = syspkgs; save = [ KERNEL OPENSBI ]; };
+      GCROOT = buildRoots { pkgs = syspkgs; save = [ syspkgs.stdenv KERNEL OPENSBI ]; };
       shellHook = ''
         echo "Here are the current system pieces:"
         echo " TOPLEVEL  = $TOPLEVEL"
@@ -142,7 +142,7 @@
     in self.outputs.devShells.x86_64-linux.lagarto-ox.overrideAttrs (old:{
         TOPLEVEL = "";
         ROOTFS = "";
-        GCROOT = buildRoots { pkgs = syspkgs; save = [ old.OPENSBI ]; };
+        GCROOT = buildRoots { pkgs = syspkgs; save = [ syspkgs.stdenv old.OPENSBI ]; };
       });
 
     devShells.x86_64-linux.default =