source: examples/python_tests/Makefile @ 20eaefe

mei_rt2mei_rt2_fix_1
Last change on this file since 20eaefe was 646e57e, checked in by Mei <mei@…>, 12 years ago

1) add partial proof

  • Property mode set to 100644
File size: 932 bytes
Line 
1
2
3DIRECTORY= 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 experiment_multi_rt0 basic_id basic_attribute partial_proof_rt1
4
5.PHONY : runcheck clean
6runcheck: $(DIRECTORY)
7
8clean:
9        @for i in $(DIRECTORY); do \
10        here=`pwd`; \
11        printf "\n ==> CLEANING on %s\n" "$$i"; \
12        cd $$i; \
13        rm -rf *.der *.pem *.cn *.sha *.log *.pl; \
14        cd $$here; \
15        done 
16        @rm -rf allout.tmp;
17
18runcheck: 
19        @echo 'running libabac PYTHON testing...' 
20        @for i in $(DIRECTORY); do \
21        here=`pwd`; \
22        printf "\n ==> RUN on %s\n" "$$i" >> allout.tmp 2>&1; \
23        cd $$i; \
24        ./run_test >> ../allout.tmp 2>&1; \
25        cd $$here; \
26        done
27        @if test -f allout.tmp && test `diff -q allout.save allout.tmp |wc -l ` -eq 0 ; \
28        then echo "   PASSED"; \
29        else echo "   ERROR:got changes!!!"; \
30        fi
31
Note: See TracBrowser for help on using the repository browser.