From 9f72ebe29bd54c47f4da240dea0382142a49a1c8 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Fri, 28 May 2021 15:30:42 +0200
Subject: [PATCH] fix: source search path from `leanpkg print-paths`

---
 src/Leanpkg.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Leanpkg.lean b/src/Leanpkg.lean
index 3b3ac66f5a..795fe93053 100644
--- a/src/Leanpkg.lean
+++ b/src/Leanpkg.lean
@@ -69,7 +69,7 @@ def configure : IO Configuration := do
       }
   return {
     leanPath    := SearchPath.toString <| paths.map (fun (p : FilePath) => p / "build")
-    leanSrcPath := paths.toString
+    leanSrcPath := SearchPath.toString paths
   }
 
 def execMake (makeArgs leanArgs : List String) (leanPath : String) : IO Unit := withLockFile do