Add profiling options
This commit is contained in:
parent
5ffe4de9ad
commit
f6f5dff849
|
@ -23,8 +23,10 @@ sources = \
|
|||
Unnest.hs \
|
||||
Utils.hs
|
||||
|
||||
# profile_opts = -prof -auto-all
|
||||
|
||||
$(targets): $(sources)
|
||||
ghc -fglasgow-exts -fallow-undecidable-instances -o tock --make Main
|
||||
ghc -fglasgow-exts -fallow-undecidable-instances $(profile_opts) -o tock --make Main
|
||||
|
||||
CFLAGS = -g -std=gnu99 -Wall `kroc --cflags` `kroc --ccincpath`
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user