allow using a different ghc
authorSimon Marlow <marlowsd@gmail.com>
Wed, 4 Jul 2012 10:24:48 +0000 (11:24 +0100)
committerSimon Marlow <marlowsd@gmail.com>
Wed, 4 Jul 2012 10:24:48 +0000 (11:24 +0100)
bench/Makefile

index 17b4884..2a45fad 100644 (file)
@@ -1,4 +1,6 @@
+GHC=ghc
+
 # Run chanbench for 4 different channel types, 3 different benchmarks
 all:
-       for i in CHAN TCHAN TQUEUE TBQUEUE; do ghc -D$$i -O2 chanbench.hs -o chanbench-$$i; done
+       for i in CHAN TCHAN TQUEUE TBQUEUE; do $(GHC) -D$$i -O2 -fforce-recomp chanbench.hs -o chanbench-$$i; done
        for i in 0 1 2; do echo; echo === test $$i ===; for j in CHAN TCHAN TQUEUE TBQUEUE; do printf "%-10s" $$j; time ./chanbench-$$j $$i 2000000; done; done