diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2026-02-13 22:42:52 +0100 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2026-02-13 22:42:52 +0100 |
| commit | c5b285ad7dc95d61eb8d804ffafce306aeb2d24e (patch) | |
| tree | df6bc20c1e8714afa450d574645f02757afc8358 /Makefile | |
| parent | 537cc919af99f67daad39ed099beed29ba0d84b9 (diff) | |
Also search for files in `debug/`
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 9 |
1 files changed, 4 insertions, 5 deletions
@@ -21,25 +21,24 @@ test: .PHONE: profile profile: stack --work-dir .stack-work-profile build --profile --ghc-options "-fprof-auto -fprof-cafs" - stack --work-dir .stack-work-profile exec --profile zf -- library/formalizations_with_section_20_up_to_euclidean_metric_theorem.tex --uncached +RTS -s -p + stack --work-dir .stack-work-profile exec --profile zf -- debug/formalizations_with_section_20_up_to_euclidean_metric_theorem.tex --uncached +RTS -s -p ghc-prof-flamegraph zf.prof .PHONE: profilenominal profilenominal: stack --work-dir .stack-work-profile build --profile --ghc-options "-fprof-auto -fprof-cafs" - stack --work-dir .stack-work-profile exec --profile zf -- library/formalizations_with_section_20_up_to_euclidean_metric_theorem.tex --nominal --uncached +RTS -s -p + stack --work-dir .stack-work-profile exec --profile zf -- debug/formalizations_with_section_20_up_to_euclidean_metric_theorem.tex --nominal --uncached +RTS -s -p ghc-prof-flamegraph zf.prof .PHONE: profilemem profilemem: stack --work-dir .stack-work-profile build --profile --ghc-options "-fprof-auto -fprof-cafs" - stack --work-dir .stack-work-profile exec --profile zf -- library/formalizations_with_section_20_up_to_euclidean_metric_theorem.tex --uncached +RTS -hc -RTS + stack --work-dir .stack-work-profile exec --profile zf -- debug/formalizations_with_section_20_up_to_euclidean_metric_theorem.tex --uncached +RTS -hc -RTS hp2ps zf.hp gs -q -dNOPAUSE -dBATCH -sOutputFile=temp.ps -sDEVICE=ps2write -c "<</Orientation 1>> setpagedevice" -- zf.ps && mv temp.ps zf.ps - .PHONE: profileparser profileparser: stack --work-dir .stack-work-profile build --profile --ghc-options "-fprof-auto -fprof-cafs" - stack --work-dir .stack-work-profile exec --profile zf -- library/formalizations_with_section_20_up_to_euclidean_metric_theorem.tex --parseonly --uncached +RTS -p + stack --work-dir .stack-work-profile exec --profile zf -- debug/formalizations_with_section_20_up_to_euclidean_metric_theorem.tex --parseonly --uncached +RTS -p ghc-prof-flamegraph zf.prof |