GHC=ghc

BINS=Properties.test Misc.test

.PHONY: $(BINS)

default: Properties.result
	cat Properties.result

Properties.result: Properties.test
	./Properties.test . > $@

misc: Misc.test
	./Misc.test

clean:
	rm -f *.o *.hi $(BINS)

$(BINS):
	$(GHC) -cpp -I../include -i.. -o $@ -O --make $(patsubst %.test, %, $@) -main-is $(patsubst %.test, %, $@)