Enable RTS options for GHC >= 7
commita1bfeb89eb77115541a47637df10d0025e24f697
authorBryan O'Sullivan <bos@mailrank.com>
dateSun 8 May 2011, 21:16 (15 years ago)
parent6dae269
benchmarks/Makefile+2−2
@@ -6,10 +6,10 @@ binaries := AesonParse AesonEncode JsonParse
66all: $(binaries) $(binaries:%=%_p)
77
88%_p: %.hs
9− $(ghc) $(ghcflags) -prof -auto-all --make -o $@ $^
9+ $(ghc) $(ghcflags) -prof -auto-all -rtsopts --make -o $@ $^
1010
1111%: %.hs
12− $(ghc) $(ghcflags) --make -o $@ $^
12+ $(ghc) $(ghcflags) --make -rtsopts -o $@ $^
1313
1414clean:
1515 -rm -f *.o *.hi $(binaries) $(binaries:%=%_p)