source: examples/creddy_prover_tests/Makefile @ e97d2e2

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 acme_multi_rt0

.PHONY : setup runcheck clean 
runcheck: $(DIRECTORY)

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 -f allout.cn && test `diff -q allout.save allout.cn |wc -l ` -eq 0 ; \
        then echo "   PASSED"; \
        else echo "   ERROR:got changes!!!"; \
        fi