Save stdenv in gcroot

This commit is contained in:
Rodrigo Arias 2024-09-18 14:35:00 +02:00
parent 4562173d41
commit 71d124815f

View File

@ -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 =