fix: lake: do not hash remote dep names + test

accidental leftover from a scrapped feature
This commit is contained in:
tydeu 2023-08-03 20:04:02 -04:00 committed by Mac Malone
parent ca4d824d75
commit 98da3c9e46
2 changed files with 2 additions and 2 deletions

View file

@ -67,8 +67,7 @@ def Source.materialize (src : Source) (name : String)
manifestEntry := .path name relPkgDir
}
| .git url inputRev? subDir? => do
let tmpName := toString <| hash url
let relGitDir := relPkgsDir / tmpName
let relGitDir := relPkgsDir / name
let repo := GitRepo.mk (wsDir / relGitDir)
updateGitRepo repo url inputRev? name
let rev ← repo.headRevision

View file

@ -24,6 +24,7 @@ cd test
# test git clone
$LAKE update
test -d lake-packages/hello
$LAKE build
./build/bin/test