From 57c7e42752ca2fef572aec4c2d62b1b43fc83c5a Mon Sep 17 00:00:00 2001
From: tydeu <tydeu@hatpress.net>
Date: Fri, 5 Nov 2021 14:12:58 -0400
Subject: [PATCH] fix: make `buildRec`  target wait for deps

---
 Lake/BuildPackage.lean | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Lake/BuildPackage.lean b/Lake/BuildPackage.lean
index 3f6ee174a5..f3230f5cae 100644
--- a/Lake/BuildPackage.lean
+++ b/Lake/BuildPackage.lean
@@ -87,7 +87,8 @@ def Package.buildRec (self : Package) [Inhabited i]
   let recBuild := recBuildPackageWithDeps build
   let targets ← failOnBuildCycle <| ← RBTopT.run' <|
     buildRBTop (cmp := Name.quickCmp) recBuild Package.name self
-  targets.back
+  let target ← ActiveTarget.collectOpaqueArray targets
+  target.withInfo targets.back.info
 
 /--
   Build an `Array` of `Package`s along with their dependencies