# Makefile for efficiency tests

TgtDir = test1

test: prog
	@echo "Beginning test"
	@echo
	@time $(TgtDir)/test | tee $(TgtDir)/results
	@echo
	@echo "End of test, see $(TgtDir)/results"

prog: $(TgtDir)/test

$(TgtDir)/test: test.hs
	ghc $< -i ../src/*.hs ../examples/logic/*.hs -hidir $(TgtDir) -odir $(TgtDir) --make -o $@

clean:
	rm $(TgtDir)/*.o $(TgtDir)/*.hi $(TgtDir)/test $(TgtDir)/results