Skip to content

Commit a62f0d7

Browse files
Adding info log to output the name of the package being built. (stefan-hoeck#359)
1 parent df8e806 commit a62f0d7

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

src/Pack/Runner/Install.idr

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -355,6 +355,7 @@ installImpl dir rl =
355355
info "Removing currently installed version of \{name rl}"
356356
rmDir (pkgInstallDir rl.name rl.hash rl.pkg rl.desc)
357357
rmDir (pkgLibDir rl.name rl.hash rl.pkg)
358+
info "Building\: \{name rl}"
358359
libPkg pre Build True ["--build"] rl.desc
359360
libPkg pre Debug False instCmd rl.desc
360361
debug "checking if libdir at \{libDir} exists"
@@ -431,10 +432,12 @@ installApp b ra =
431432
Git u c ipkg pp _ _ => do
432433
let cache := ipkgCachePath ra.name c ipkg
433434
copyFile cache ipkgAbs
435+
info "Building\: \{name ra}"
434436
libPkg [] Build True ["--build"] (notPackIsSafe ra.desc)
435437
copyApp ra
436438
when b $ appLink ra.exec ra.name pp cg
437439
Local _ _ pp _ => do
440+
info "Building\: \{name ra}"
438441
libPkg [] Build True ["--build"] (notPackIsSafe ra.desc)
439442
copyApp ra
440443
when b $ appLink ra.exec ra.name pp cg

0 commit comments

Comments
 (0)