all: run bad prove clean: @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