DIRECTORY= acme_rockets_intersection_rt0 acme_rockets_rt0 experiment_create_rt0 .PHONY : setup runcheck clean runcheck: $(DIRECTORY) clean: @for i in $(DIRECTORY); do \ here=`pwd`; \ cd $$i; \ rm -rf *.xml *.pem *.out *.log; \ cd $$here; \ done @rm -rf result runcheck: @echo 'running libabac CREDDY/ABAC_PROVER testing...' @rm -rf result @for i in $(DIRECTORY); do \ here=`pwd`; \ cd $$i; \ printf "\n ==> RUN on %s\n" "$$i" >> ../result; \ ./README >> ../result 2>/dev/null; \ ./run_query >> ../result 2>/dev/null; \ cd $$here; \ done ## since can not check the everchanging keyid values, we just do a char count check.. @if test -f result && test `diff result.save result |wc -c ` -eq 6750 ; \ then echo " PASSED"; \ else echo " ERROR:got changes!!!"; \ fi