source: examples/python_tests/Makefile @ ff71d24

DIRECTORY= acme_rockets_intersection_rt0 basic_attribute experiment_create_rt0 acme_rockets_rt0 basic_id         

.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 PYTHON testing...' 
        @rm -rf result
        @for i in $(DIRECTORY); do \
        here=`pwd`; \
        cd $$i; \
        printf "\n ==> RUN on %s\n" "$$i" >> ../result; \
        ./run_test >> ../result 2>/dev/null; \
        cd $$here; \
        done
        @if test -f result && test `cat result|wc -c` -eq 444 ; \
        then echo "   PASSED"; \
        else echo "   ERROR:got changes!!!"; \
        fi