diff --git a/cgtests.mk b/cgtests.mk index e5027e9..1ce7f96 100644 --- a/cgtests.mk +++ b/cgtests.mk @@ -18,3 +18,15 @@ run-all: $(addprefix run-,$(tests)) run-cgtests/%: cgtests/% cgtests/$* + +profile-all: $(addprefix profile-,$(tests)) + +# On Debian/Ubuntu, you will need the "tth" and "netpbm" packages for ps2png +profile-cgtests/%: cgtests/%.occ + ./tock -vk --backend=$(BACKEND) --mode=compile cgtests/$*.occ +RTS -hc -p -s > /dev/null + mv tock.hp tock-$*.hp + mv tock.stat tock-$*.stat + mv tock.prof tock-$*.prof + hp2ps -c -s -g tock-$*.hp + ps2png tock-$*.ps tock-$*.png +