seems -rtsopts is needed now for profiling
This commit is contained in:
parent
2467c56771
commit
82347fc5ab
1 changed files with 1 additions and 1 deletions
2
Makefile
2
Makefile
|
@ -2,7 +2,7 @@ PREFIX=/usr
|
||||||
IGNORE=-ignore-package monads-fd
|
IGNORE=-ignore-package monads-fd
|
||||||
GHCFLAGS=-O2 -Wall $(IGNORE)
|
GHCFLAGS=-O2 -Wall $(IGNORE)
|
||||||
ifdef PROFILE
|
ifdef PROFILE
|
||||||
GHCFLAGS=-prof -auto-all -caf-all -fforce-recomp $(IGNORE)
|
GHCFLAGS=-prof -auto-all -rtsopts -caf-all -fforce-recomp $(IGNORE)
|
||||||
endif
|
endif
|
||||||
GHCMAKE=ghc $(GHCFLAGS) --make
|
GHCMAKE=ghc $(GHCFLAGS) --make
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue