Makefile 219 Bytes
Newer Older
1
TOP = ../..
2 3
include $(TOP)/mk/boilerplate.mk
-include opts.mk
4 5

# Seems to be a real memory hog, this one
6
PROG_ARGS += +RTS -M300m -RTS
7

8 9
include $(TOP)/mk/target.mk

10 11 12
FAST_OPTS =  8000
NORM_OPTS = 80000
SLOW_OPTS = 80000