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

fix: bin build now properly waits for dep libs

Browse source
This commit is contained in:
tydeu 2021-07-10 23:02:31 -04:00
parent 3ad82dcc42
commit d4e3a4f79e
1 changed files with 2 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
Lake/Build.lean
View file

@ -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 :=