From 9e7917caf08437b0570ffa309db5beb3c25c120d Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Sun, 18 Apr 2021 11:18:00 +0200
Subject: [PATCH] chore: Nix: work around
 https://github.com/NixOS/nixpkgs/issues/119779

Fixes #409
---
 nix/packages.nix | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/nix/packages.nix b/nix/packages.nix
index fd7d3ad2e1..e27c3a3433 100644
--- a/nix/packages.nix
+++ b/nix/packages.nix
@@ -5,7 +5,7 @@ let
     ${nix.defaultPackage.${system}}/bin/nix --experimental-features 'nix-command flakes' --extra-substituters https://lean4.cachix.org/ --option warn-dirty false "$@"
   '';
   llvmPackages = llvmPackages_10;
-  cc = ccacheWrapper.override rec {
+  cc = (ccacheWrapper.override rec {
     # macOS doesn't like the lld override, but I guess it already uses that anyway
     cc = if system == "x86_64-darwin" then llvmPackages.clang else llvmPackages.clang.override {
       # linker go brrr
@@ -25,7 +25,10 @@ let
       set -- "''${args[@]}"
       [ -d $CCACHE_DIR ] || exec ${cc}/bin/$(basename "$0") "$@"
     '';
-  };
+  }).overrideAttrs (old: {
+    # https://github.com/NixOS/nixpkgs/issues/119779
+    installPhase = builtins.replaceStrings ["use_response_file_by_default=1"] ["use_response_file_by_default=0"] old.installPhase;
+  });
   lean = callPackage (import ./bootstrap.nix) (args // {
     stdenv = overrideCC llvmPackages.stdenv cc;
     inherit buildLeanPackage;