CLASSPATH = ../..:.
JAVA = java -classpath ${CLASSPATH}
JAVAC = javac -classpath ${CLASSPATH}

compile:
	${JAVAC} UpdateSpecFiles.java
run:
	${JAVA} tauzaman.tests.UpdateSpecFiles ${PWD}/

clean: cleanIO cleanAPPLICATION cleanLATTICE
	rm -f *.class

cleanAPPLICATION: 
	cd application; make clean

cleanLATTICE: 
	cd latticetests; make clean

cleanIO: 
	cd iotests; make clean
