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

fix: wait for deps to build on a bare print-paths

Browse source
This commit is contained in:
tydeu 2021-10-07 18:30:52 -04:00
parent 2e5c7c02f1
commit b3b7aa02d1
1 changed files with 6 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
Lake/BuildPackage.lean
View file

@ -169,11 +169,14 @@ def Package.buildImportsAndDeps
(imports : List String := []) (self : Package) : BuildM (List Package) := do
-- resolve and build deps
let depTargets ← self.buildDepTargets
let depTarget ← self.buildDepTargetWith depTargets
let depPkgs := depTargets.map (·.package) |>.foldl (flip List.cons) []
-- build any additional imports
unless imports.isEmpty do
if imports.isEmpty then
-- wait for deps to finish building
discard depTarget.materialize
else
-- build additional imports
let moreOleanDirs := depPkgs.map (·.oleanDir)
let depTarget ← self.buildDepTargetWith depTargets
let localImports := self.filterLocalImports imports
let oleanTargets ← self.buildModuleOleanTargets localImports moreOleanDirs depTarget
oleanTargets.forM (discard ·.materialize)