diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -1,5 +1,11 @@ GHC = ghc -GHCFLAGS = -Wall -Wno-type-defaults -O3 +GHCFLAGS = -Wall -Wno-type-defaults +ifneq ($(DEBUG),) + GHCFLAGS += -prof -fprof-auto -fprof-cafs +endif +ifneq ($(OPT),) + GHCFLAGS += -O3 +endif TARGET = main |