.PHONY : tt tchunk run_attr run_threaded
all: run_attr run_prove
#run_prove run_threaded

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

setup:
	make clean
	ant

run_attr:
	rm -rf attr.log
	make setup
	./run_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