From d4e3a4f79e74bfcdf34837f4f1a027840036f5e8 Mon Sep 17 00:00:00 2001
From: tydeu <tydeu@hatpress.net>
Date: Sat, 10 Jul 2021 23:02:31 -0400
Subject: [PATCH] fix: bin build now properly waits for dep libs

---
 Lake/Build.lean | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/Lake/Build.lean b/Lake/Build.lean
index 127c0d8b0e..fe61325470 100644
--- a/Lake/Build.lean
+++ b/Lake/Build.lean
@@ -315,14 +315,12 @@ def buildLib (pkg : Package) : IO PUnit :=
 def PackageTarget.buildBin
 (depTargets : List PackageTarget) (self : PackageTarget)
 : IO BuildTask := do
-  let binFile := self.package.binFile
   let oFileTargets ← self.fetchOFileTargets
   let oFiles := oFileTargets.map (·.artifact) |>.toArray
   let libTargets ← depTargets.mapM (·.fetchStaticLibTarget)
   let libFiles := libTargets.map (·.artifact) |>.toArray
-  let buildTask ← BuildTask.afterTargets oFileTargets <| catchErrors <|
-    compileBin binFile (oFiles ++ libFiles) self.package.linkArgs
-  return buildTask
+  BuildTask.afterTargets (oFileTargets ++ libTargets) <| catchErrors <|
+    compileBin self.package.binFile (oFiles ++ libFiles) self.package.linkArgs
 
 def PackageTarget.fetchBinTarget
 (depTargets : List PackageTarget) (self : PackageTarget) : IO FileTarget :=