We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 659e8bb commit e5de77eCopy full SHA for e5de77e
2 files changed
src/lake/Lake/Build/Module.lean
@@ -871,6 +871,7 @@ def Module.recBuildLtar (self : Module) : FetchM (Job FilePath) := do
871
modify ({· with wantsRebuild := true})
872
error "archive does not exist and needs to be built"
873
else
874
+ updateAction .build
875
self.packLtar arts
876
newTrace s!"{self.name.toString}:ltar"
877
addTrace art.trace
tests/lake/tests/ltar/test.sh
@@ -19,7 +19,7 @@ test_err "archive does not exist and needs to be built" \
19
build +Test:ltar --no-build -v
20
21
# Test the build of the `ltar` facet
22
-test_run build +Test:ltar -v
+test_out "Built Test:ltar" build +Test:ltar -v
23
test_exp -f .lake/build/ir/Test.ltar
24
25
# Test that Lake unpacks the archive if the module's artifacts are missing
0 commit comments