PATH="org/example"

all:	clean prepare tests run

prepare:
	@echo "preparing test classes...."
	@/usr/bin/java -cp "jml4c.jar:jml4rt.jar:." -jar jmlunitng.jar --verbose $(PATH)

tests:
	@echo "compiling test classes...."
	@/usr/bin/java -cp "jmlunitng.jar:." -jar jml4c.jar $(PATH)/Dog.java $(PATH)/Cat.java
	@/usr/bin/javac -cp "jmlunitng.jar:jml4c.jar:." $(PATH)/*_Test.java $(PATH)/*_Data/*.java

run:
	@echo "running tests on Dog.java...."
	@/usr/bin/java -cp "jmlunitng.jar:jml4c.jar:jml4rt.jar:." org/example/Dog_JML_Test org/example/Cat_JML_Test
	@echo "running tests on Cat.java...."
	@/usr/bin/java -cp "jmlunitng.jar:jml4c.jar:jml4rt.jar:." org/example/Cat_JML_Test

clean:
	@/bin/rm -f $(PATH)/*JML_Test.java
	@/bin/rm -rf $(PATH)/*JML_Data
	@/bin/rm -f $(PATH)/*.class
	@#	/usr/bin/java -jar jmlunitng.jar --no-gen --clean $(PATH)
	@/bin/rm -rf test-output
	@echo "clean!"