diff options
Diffstat (limited to 'eta-tests/Makefile')
-rw-r--r-- | eta-tests/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/eta-tests/Makefile b/eta-tests/Makefile index f9665ec063..e5ff03c1ed 100644 --- a/eta-tests/Makefile +++ b/eta-tests/Makefile @@ -1,9 +1,9 @@ EXTRA_HC_OPTS= -all: differentSat.bin zipLocal.bin zipWit2.bin zipWit3.bin zipWithPartial.bin +all: differentSat.bin zipLocal.bin zipWit2.bin zipWit3.bin zipWithPartial.bin fac.bin %.bin: %.hs - ../inplace/bin/ghc-stage2 $(EXTRA_HC_OPTS) -O2 -o $@ $< + ../inplace/bin/ghc-stage2 $(EXTRA_HC_OPTS) -dverbose-core2core -O2 -feta-arity -o $@ $< 2>&1 | tee $@.log clean: - rm -rf *.hi *.o *.bin *~ + rm -rf *.hi *.o *.bin *~ *.log |