all: run bad prove

clean:
	rm -rf *.pem *.der

realclean:
	rm -rf *.pem *.der *.log 

setup: 
	creddy --generate --cn IceCream
	creddy --generate --cn Chocolate
	
run: 
	make clean
	make setup
	./abac_keyid.pl IceCream_ID.pem 1>id.log 2>&1 

bad: 
	make clean
	make setup
	-./abac_keyid.pl IceCream_private.pem 1>id2.log 2>&1 

prove: 
	make clean
	make setup
	./run_prover 1 >prover.log 2>&1