From 44416624904d389f6fb2cddf018594d34624b2bf Mon Sep 17 00:00:00 2001 From: tydeu Date: Thu, 12 Oct 2023 19:56:41 -0400 Subject: [PATCH] test: lake: `tests/manifest` -> `tests/depTree` also clarify its difference distinction with `tests/clone` --- src/lake/tests/clone/test.sh | 2 ++ src/lake/tests/{manifest => depTree}/.gitignore | 0 src/lake/tests/{manifest => depTree}/clean.sh | 0 src/lake/tests/{manifest => depTree}/test.sh | 3 ++- 4 files changed, 4 insertions(+), 1 deletion(-) rename src/lake/tests/{manifest => depTree}/.gitignore (100%) rename src/lake/tests/{manifest => depTree}/clean.sh (100%) rename src/lake/tests/{manifest => depTree}/test.sh (96%) diff --git a/src/lake/tests/clone/test.sh b/src/lake/tests/clone/test.sh index d3d01239b5..9e7719353e 100755 --- a/src/lake/tests/clone/test.sh +++ b/src/lake/tests/clone/test.sh @@ -11,6 +11,8 @@ fi ./clean.sh +# Test Lake's management of a single Git-cloned dependency. + mkdir hello pushd hello $LAKE init hello diff --git a/src/lake/tests/manifest/.gitignore b/src/lake/tests/depTree/.gitignore similarity index 100% rename from src/lake/tests/manifest/.gitignore rename to src/lake/tests/depTree/.gitignore diff --git a/src/lake/tests/manifest/clean.sh b/src/lake/tests/depTree/clean.sh similarity index 100% rename from src/lake/tests/manifest/clean.sh rename to src/lake/tests/depTree/clean.sh diff --git a/src/lake/tests/manifest/test.sh b/src/lake/tests/depTree/test.sh similarity index 96% rename from src/lake/tests/manifest/test.sh rename to src/lake/tests/depTree/test.sh index eef8218955..80481c8c66 100755 --- a/src/lake/tests/manifest/test.sh +++ b/src/lake/tests/depTree/test.sh @@ -11,7 +11,8 @@ fi ./clean.sh -# tests issues: +# Test the functionality of Lake's dependency resolution +# in many edge cases with a full tree of dependencies. # https://github.com/leanprover/lake/issues/70 # https://github.com/leanprover/lake/issues/84 # https://github.com/leanprover/lake/issues/85