From b3f5b7e7ca2a5e3046d89d51739f443ca85165f9 Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Tue, 13 Oct 2015 10:31:43 -0700 Subject: [PATCH] tools: rename dev-profile, add dev-heap rule --- Makefile | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 8510bcd9f..863576e1b 100644 --- a/Makefile +++ b/Makefile @@ -374,12 +374,18 @@ devprof: dev.hs $(SOURCEFILES) \ $(call def-help,devprof, build the dev.hs script with profiling support ) stack ghc -- $(CABALMACROSFLAGS) -ihledger-lib dev.hs -rtsopts -prof -fprof-auto -osuf p_o -o devprof -profile-dev: devprof \ - $(call def-help,devprof, profile the dev.hs script ) +dev-profile: devprof \ + $(call def-help,dev-profile, get a time & space profile of the dev.hs script ) time ./devprof +RTS -P \ && cp devprof.prof devprof.prof.$(TIME) \ && profiteur devprof.prof +dev-heap: devprof \ + $(call def-help,dev-heap, get a heap profile of the dev.hs script ) + time ./devprof +RTS -hc \ + && cp devprof.hp devprof.hp.$(TIME) \ + && hp2ps devprof.hp.$(TIME) + # # build other executables quickly # bin/hledger-webdev: link-web-dirs \