DIRECTORY=access_rt2 acme_friend_rt1 acme_rockets_intersection_rt0 acme_rockets_rt0 alice_rt1 alumni2_rt1 alumni3_rt1 alumni_rt1 balltime_rt2 evaluator_rt1 experiment_create_rt0 file_read_rt2 fruits_rt2 leader_rt1 payraise_rt1 .PHONY : setup runcheck clean clean: @for i in $(DIRECTORY); do \ here=`pwd`; \ printf "\n ==> CLEANING on %s\n" "$$i"; \ cd $$i; \ rm -rf *.der *.pem *.cn *.sha *.log creds_dump; \ cd $$here; \ done @rm -rf allout.cn allout.sha setup: @for i in $(DIRECTORY); do \ here=`pwd`; \ cd $$i; \ ./README 1 >/dev/null 2>&1; \ cd $$here; \ done runcheck: @echo 'running libabac CREDDY/ABAC_PROVER_YAP testing...' @make setup @for i in $(DIRECTORY); do \ here=`pwd`; \ cd $$i; \ printf "\n ==> RUN on %s\n" "$$i" >> allout.sha; \ ./run_query >> ../allout.sha 2>/dev/null; \ printf "\n ==> RUN on %s\n" "$$i" >> ../allout.cn; \ env ABAC_CN=1 ./run_query >> ../allout.cn 2>/dev/null; \ cd $$here; \ done @if test `diff -q allout.save allout.cn |wc -l ` -eq 0 ; \ then echo " PASSED"; \ else echo " ERROR:got changes!!!"; \ fi