INC 			= '-i..'
PROFOPTS 	= -prof -auto-all
RTSOPS		= -p

all: test

sample-test:
	ghc $(INC) --make Properties -main-is Properties.main2 -o prop
	./prop 100

test:
	ghc $(INC) --make Properties -main-is Properties.main -o prop
	./prop 100

prof-test:
	ghc $(INC) $(PROFOPTS) --make Properties -main-is Properties.main -o prop
	./prop +RTS $(RTSOPS) -RTS 100

deep-test:
	ghc $(INC) $(PROFOPTS) --make Properties -main-is Properties.main -o prop
	./prop +RTS $(RTSOPS) -RTS 1000

clean:
	rm -f *.o *.hi prop prop.prof