pin-to-gcc12-if-gcc13: drop as it's not used anymore

This commit is contained in:
Sergei Trofimovich 2024-03-22 20:07:02 +00:00
parent 6954dd59c7
commit 32a9f7d3ea

View File

@ -15675,14 +15675,6 @@ with pkgs;
gccFun = callPackage ../development/compilers/gcc; gccFun = callPackage ../development/compilers/gcc;
gcc-unwrapped = gcc.cc; gcc-unwrapped = gcc.cc;
pin-to-gcc12-if-gcc13 = pkg:
if !(lib.isDerivation pkg) || !(pkg?override) then pkg else
pkg.override (previousArgs:
lib.optionalAttrs (previousArgs.stdenv.cc.cc.isGNU or false &&
lib.versionAtLeast previousArgs.stdenv.cc.cc.version "13.0") {
stdenv = gcc12Stdenv;
});
wrapNonDeterministicGcc = stdenv: ccWrapper: wrapNonDeterministicGcc = stdenv: ccWrapper:
if ccWrapper.isGNU then ccWrapper.overrideAttrs(old: { if ccWrapper.isGNU then ccWrapper.overrideAttrs(old: {
env = old.env // { env = old.env // {