all: run bad prove

clean:
	@rm -rf *.pem *.xml *.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 

attr: 
	make clean
	make setup
	./run_attr 1 >attr.log 2>&1

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