@@ -1,7 +1,8 @@
1all: Properties bin/Bench
1all: Properties bin/Bench
3Properties: Properties.hs QuickCheckUtils.hs
4Properties: Properties.hs QuickCheckUtils.hs
4− ghc -O --make Properties
5+ ghc --make -fforce-recomp Properties
6bin/Bench: dist/setup-config *.hs
7bin/Bench: dist/setup-config *.hs
7 ./Setup build
8 ./Setup build