source: examples/access_tests/Makefile @ accd63d

DIRECTORY=creddy_prover

.PHONY : runcheck clean 
runcheck: $(DIRECTORY)

clean:
        @for i in $(DIRECTORY); do \
        here=`pwd`; \
        rm -rf allout.tmp; \
        cd $$i; \
        ./cleanup.sh all \
        cd $$here; \
        done 
        @rm -rf allout.tmp

runcheck:
        @echo 'running libabac ACCESS testing...'
        @for i in $(DIRECTORY); do \
        here=`pwd`; \
        cd $$i; \
        printf "\n ==> RUN on %s\n" "$$i" >> ../allout.tmp ; \
        ./run_test 1 >> ../allout.tmp 2>/dev/null; \
        cd $$here; \
        done 
        @if test -f allout.tmp && test `diff -q allout.save allout.tmp |wc -l ` -eq 0 ; \
        then echo "   PASSED"; \
        else echo "   ERROR:got changes!!!"; \
        fi