.PHONY : tt tchunk run_threaded
all: run_attr run_prove run_threaded

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


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

run_threaded:
	rm -rf threaded.log
	make run_attr
	./run_thread 1 >threaded.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 

tt:
	@make clean
	@ant
	@javac -classpath ./build/classes tbasic.java
	@echo 'java -XX:+PrintGCDetails -XX:+DisableExplicitGC  -classpath ./build/classes:. tbasic' > rr 
	@echo 'jdb -launch -classpath ./build/classes:.  -sourcepath ../../../swig/java tbasic' > tt
	@chmod +x tt
	@chmod +x rr