tools: rename dev-profile, add dev-heap rule
This commit is contained in:
		
							parent
							
								
									56a79c479f
								
							
						
					
					
						commit
						b3f5b7e7ca
					
				
							
								
								
									
										10
									
								
								Makefile
									
									
									
									
									
								
							
							
						
						
									
										10
									
								
								Makefile
									
									
									
									
									
								
							| @ -374,12 +374,18 @@ devprof: dev.hs $(SOURCEFILES) \ | |||||||
| 	$(call def-help,devprof, build the dev.hs script with profiling support ) | 	$(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 | 	stack ghc -- $(CABALMACROSFLAGS) -ihledger-lib dev.hs -rtsopts -prof -fprof-auto -osuf p_o -o devprof | ||||||
| 
 | 
 | ||||||
| profile-dev: devprof \ | dev-profile: devprof \ | ||||||
| 	$(call def-help,devprof, profile the dev.hs script ) | 	$(call def-help,dev-profile, get a time & space profile of the dev.hs script ) | ||||||
| 	time ./devprof +RTS -P \
 | 	time ./devprof +RTS -P \
 | ||||||
| 	&& cp devprof.prof devprof.prof.$(TIME) \
 | 	&& cp devprof.prof devprof.prof.$(TIME) \
 | ||||||
| 	&& profiteur devprof.prof | 	&& 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
 | # # build other executables quickly
 | ||||||
| 
 | 
 | ||||||
| # bin/hledger-webdev: link-web-dirs \
 | # bin/hledger-webdev: link-web-dirs \
 | ||||||
|  | |||||||
		Loading…
	
		Reference in New Issue
	
	Block a user