From 0b53035c7ac108c8fdad827fa23b836584005920 Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Fri, 25 Mar 2022 08:19:17 -1000 Subject: [PATCH] tools: make buildtimes-cabal: show times without double compilation --- Makefile | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 10f0b9703..e638e09b0 100644 --- a/Makefile +++ b/Makefile @@ -249,8 +249,12 @@ build: \ $(STACK) build buildtimes: \ - $(call def-help,buildtimes, build hledger-lib showing just the GHC codegen time and allocation for each module) - $(STACK) build hledger-lib --force-dirty --ghc-options='-fforce-recomp -ddump-timings' 2>&1 | grep ^CodeGen + $(call def-help,buildtimes, build hledger-lib showing just GHC codegen times/allocations) + time ($(STACK) build hledger-lib --force-dirty --ghc-options='-fforce-recomp -ddump-timings' 2>&1 | grep ^CodeGen) + +buildtimes-cabal: \ + $(call def-help,buildtimes-cabal, build hledger-lib showing just GHC codegen times/allocations using cabal avoiding double compilation (but leaving missing files)) + cabal clean; time (cabal build ./hledger-lib --disable-library-vanilla --ghc-options='-fforce-recomp -ddump-timings' 2>&1 | grep ^CodeGen) # check-setup: \ # $(call def-help,check-setup,\