all: run_attr run_prove

clean:
	@rm -f *.pem *.der *.log pfile 
	@rm -rf build *.class


run_attr: 
	make clean
	rm -rf attr.log
	ant
	javac -classpath ./build/classes abac_attr.java
	java -classpath ./build/classes:. abac_attr 1 >attr.log 2>&1

run_prove:
	rm -rf prover.log
	make run_attr
	./run_prover 1 >prover.log 2>& 1

tchunk:
	make clean
	javac -classpath ./build/classes tchunk.java
	java -classpath ./build/classes:. tchunk 1 IceCream_ID.pem IceCream_private.pem 
	java -classpath ./build/classes:. tchunk 0 IceCream_ID.pem IceCream_private.pem