max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

Fix local depdir calculation

Browse source
This commit is contained in:
Mac Malone 2021-06-02 18:25:30 -04:00
parent 9544f3dad8
commit 158838bf63
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Leanpkg2/Resolve.lean
View file

@ -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