From c591a68aabe4455697066f969f38f272bae51bf4 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Wed, 11 Aug 2021 10:12:02 +0200
Subject: [PATCH] chore: Nix: add back `overrideCC` that got lost on the way

---
 nix/packages.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nix/packages.nix b/nix/packages.nix
index 3f3422ef5a..440d521ee1 100644
--- a/nix/packages.nix
+++ b/nix/packages.nix
@@ -28,7 +28,7 @@ let
   });
   stdenv' = if stdenv.isLinux then useGoldLinker stdenv else stdenv;
   lean = callPackage (import ./bootstrap.nix) (args // {
-    stdenv = stdenv';
+    stdenv = overrideCC stdenv' cc;
     inherit buildLeanPackage;
   });
   makeOverridableLeanPackage = f: