diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2026-08-06 17:54:00 +0200 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2026-08-06 17:54:00 +0200 |
| commit | 82328890108bae64b372b8d58620ebc62699de76 (patch) | |
| tree | 575404c6b425c19259c0ded296f1c8ffb7ff0e2b /Makefile | |
| parent | 1a25421c2a168d420581358c8733fcd8f36f379b (diff) | |
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 |