diff --git a/bench/Makefile b/bench/Makefile index 17b48842f2c31e928031f075ad40a880cf101296..2a45fad981f8f0fc921bb4a4ac4dc975507f4469 100644 --- a/bench/Makefile +++ b/bench/Makefile @@ -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