guarded-rewriting-0.1: performance/Makefile

GHC=ghc

.default=PHONY

all: compile run

compile:
	$(GHC) --make -O1 Main

run:
	./Main -n 5 -f "-O1 -package QuickCheck-1.2.0.0"

clean: 
	rm -rf bin/* out/*