From 09d71cf3d3fcea7eff7a8645027384c01ef6ff3a Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Sat, 21 Nov 2020 23:04:27 +0100
Subject: [PATCH] chore: Nix: adjust depRoot drv name, build locally only

---
 nix/buildLeanPackage.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/nix/buildLeanPackage.nix b/nix/buildLeanPackage.nix
index d3dc1db73b..a550e331a3 100644
--- a/nix/buildLeanPackage.nix
+++ b/nix/buildLeanPackage.nix
@@ -21,7 +21,7 @@ with builtins; let
     allowSubstitutes = false;
   }) buildCommand;
   depRoot = name: deps: mkDerivation {
-    name = "${name}-deps";
+    name = "${name}-depRoot";
     inherit deps;
     depRoots = map (drv: drv.LEAN_PATH) deps;
     buildCommand = ''
@@ -33,6 +33,8 @@ with builtins; let
         cp -drsu --no-preserve=mode $i/. $out
       done
     '';
+    preferLocalBuild = true;
+    allowSubstitutes = false;
   };
 in
   { name, src, srcDir ? "", deps }: let