From b3b7aa02d1b22bec8fa840dabbdd362a79319e31 Mon Sep 17 00:00:00 2001
From: tydeu <tydeu@hatpress.net>
Date: Thu, 7 Oct 2021 18:30:52 -0400
Subject: [PATCH] fix: wait for deps to build on a bare `print-paths`

---
 Lake/BuildPackage.lean | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/Lake/BuildPackage.lean b/Lake/BuildPackage.lean
index 49d816d37a..fabeae5e9f 100644
--- 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)