From 74b3d101e96730599a6b2d313f11ff73cb44ef1e Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Sat, 7 Jan 2023 19:12:57 +0100
Subject: [PATCH] chore: Nix: avoid store copies

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

diff --git a/nix/buildLeanPackage.nix b/nix/buildLeanPackage.nix
index b993237d0c..80b24c4db3 100644
--- a/nix/buildLeanPackage.nix
+++ b/nix/buildLeanPackage.nix
@@ -36,7 +36,7 @@ with builtins; let
   # "Init.Core" ~> "Init/Core"
   modToPath = mod: replaceStrings ["."] ["/"] mod;
   modToAbsPath = mod: "${src}/${modToPath mod}";
-  modToLean = mod: "${modToAbsPath mod}.lean";
+  modToLean = mod: src + "/${modToPath mod}.lean";
   bareStdenv = ./bareStdenv;
   mkBareDerivation = args: derivation (args // {
     name = lib.strings.sanitizeDerivationName args.name;