diff --git a/src/Makefile b/src/Makefile index 396abecea..5799f86ca 100644 --- a/src/Makefile +++ b/src/Makefile @@ -115,6 +115,9 @@ tracing: strip gf mv gf ../bin/ +ghci-trace: nofud-links + $(GHCI) $(GHCFLAGS) -itrace $(GHCINCLUDENOFUD) + prof: GHCOPTFLAGS += -prof -auto-all -auto-dicts prof: all