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

leanprover · Oct 7, 2021 · 1872470 · 1872470
1 parent c20a29c
commit 1872470
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/Lake/BuildPackage.lean b/Lake/BuildPackage.lean
@@ -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)