From 158838bf63143573bcc314aedefff520a27d8fe0 Mon Sep 17 00:00:00 2001
From: Mac Malone <tydeu@hatpress.net>
Date: Wed, 2 Jun 2021 18:25:30 -0400
Subject: [PATCH] Fix local depdir calculation

---
 Leanpkg2/Resolve.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Leanpkg2/Resolve.lean b/Leanpkg2/Resolve.lean
index 780644cfb4..e141405b63 100644
--- a/Leanpkg2/Resolve.lean
+++ b/Leanpkg2/Resolve.lean
@@ -31,7 +31,7 @@ def materializeGit
 def materialize (relPath : FilePath) (dep : Dependency) : IO FilePath :=
   match dep.src with
   | Source.path dir => do
-    let depdir := dir / relPath
+    let depdir := relPath / dir
     IO.eprintln s!"{dep.name}: using local path {depdir}"
     depdir
   | Source.git url rev branch => do