diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -77,18 +77,18 @@ publish: .PHONY: profile profile: stack --work-dir .stack-work-profile build --profile --ghc-options "-fprof-auto -fprof-cafs" - stack --work-dir .stack-work-profile exec --profile felix -- debug/formalizations_with_section_20_up_to_euclidean_metric_theorem.tex +RTS -s -p + stack --work-dir .stack-work-profile exec --profile felix -- --fresh -t 20 library/everything.tex +RTS -s -p ghc-prof-flamegraph felix.prof .PHONY: profilemem profilemem: stack --work-dir .stack-work-profile build --profile --ghc-options "-fprof-auto -fprof-cafs" - stack --work-dir .stack-work-profile exec --profile felix -- debug/formalizations_with_section_20_up_to_euclidean_metric_theorem.tex +RTS -hc -RTS + stack --work-dir .stack-work-profile exec --profile felix -- --fresh -t 20 library/everything.tex +RTS -hc -RTS hp2ps felix.hp gs -q -dNOPAUSE -dBATCH -sOutputFile=temp.ps -sDEVICE=ps2write -c "<</Orientation 1>> setpagedevice" -- felix.ps && mv temp.ps felix.ps .PHONY: profileparser profileparser: stack --work-dir .stack-work-profile build --profile --ghc-options "-fprof-auto -fprof-cafs" - stack --work-dir .stack-work-profile exec --profile felix -- debug/formalizations_with_section_20_up_to_euclidean_metric_theorem.tex --parseonly +RTS -p + stack --work-dir .stack-work-profile exec --profile felix -- --fresh -t 20 library/everything.tex --parseonly +RTS -p ghc-prof-flamegraph felix.prof |