all: attr prove attr_partial

abac_attr.o: abac_attr.c
	gcc -g -I/usr/local/include -c abac_attr.c -o abac_attr.o

abac_attr: abac_attr.o
	gcc -g -o abac_attr abac_attr.o -L/usr/local/lib -L/usr/local/lib/ipsec -labac -lYap -lreadline -lm -lstrongswan -lpthread -Wl,-rpath -Wl,/usr/local/lib/ipsec

abac_attr_partial.o: abac_attr_partial.c
	gcc -g -I/usr/local/include -c abac_attr_partial.c -o abac_attr_partial.o

abac_attr_partial: abac_attr_partial.o
	gcc -g -o abac_attr_partial abac_attr_partial.o -L/usr/local/lib -L/usr/local/lib/ipsec -labac -lYap -lreadline -lm -lstrongswan -lpthread -Wl,-rpath -Wl,/usr/local/lib/ipsec

abac_prover.o: abac_prover.c
	gcc -g -I/usr/local/include -c abac_prover.c -o abac_prover.o

abac_prover: abac_prover.o
	gcc -g -o abac_prover abac_prover.o -L/usr/local/lib -L/usr/local/lib/ipsec -labac -lYap -lreadline -lm -lstrongswan -lpthread -Wl,-rpath -Wl,/usr/local/lib/ipsec

tchunk: tchunk.c
	gcc -g -I/usr/local/include -c tchunk.c -o tchunk.o
	gcc -g -o tchunk tchunk.o -L/usr/local/lib -L/usr/local/lib/ipsec -labac -lYap -lreadline -lm -lstrongswan -lpthread -Wl,-rpath -Wl,/usr/local/lib/ipsec
	./tchunk 0 IceCream_ID.pem IceCream_private.pem
	./tchunk 1 IceCream_ID.pem IceCream_private.pem

tt: tbasic.c
	gcc -g -I/usr/local/include -c tbasic.c -o tbasic.o
	gcc -g -o tt tbasic.o -L/usr/local/lib -L/usr/local/lib/ipsec -labac -lYap -lreadline -lm -lstrongswan -lpthread -Wl,-rpath -Wl,/usr/local/lib/ipsec

clean:
	@rm -rf abac_attr.o abac_attr *.pem *.der abac_prover.o 
	@rm -rf abac_prover *.log abac_attr_partial.o abac_attr_partial
	@rm -rf tt tbasic.o tbasic

setup: abac_attr abac_prover abac_attr_partial
	creddy --generate --cn IceCream
	creddy --generate --cn Chocolate

attr: 
	rm -rf attr.log
	make setup
	./abac_attr IceCream_ID.pem  IceCream_private.pem IceCream_attr.der Chocolate_ID.pem 1>attr.log 2>&1

attr_partial: 
	rm -rf attr_partial.log
	make setup
	./abac_attr_partial IceCream_ID.pem  IceCream_private.pem IceCream_attr.der Chocolate_ID.pem 1>attr_partial.log 2>&1

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