Also in depRoot

leanprover · Sep 21, 2023 · 72140b0 · 72140b0
1 parent 2731456
commit 72140b0
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/nix/buildLeanPackage.nix b/nix/buildLeanPackage.nix
@@ -68,8 +68,10 @@ with builtins; let
   depRoot = name: deps: mkBareDerivation {
     name = "${name}-depRoot";
     buildInputs = [ symlinkSearchPath ];
+    depList = lib.concatLines deps;
+    passAsFile = [ "depList" ];
     buildCommand = ''
-      symlinkSearchPath $out ${lib.concatStringsSep " " deps}
+      symlinkSearchPath $out $depListPath
     '';
   };
   srcRoot = src;