source: examples/python_tests/Makefile @ e197b65

abac0-leakabac0-meimei-idmei-rt0-nmei_rt0tvf-new-xml
Last change on this file since e197b65 was be6cb41, checked in by Mei <mei@…>, 11 years ago

1) forgot to add the new files

  • Property mode set to 100644
File size: 675 bytes
Line 
1
2DIRECTORY= acme_rockets_intersection_rt0 basic_attribute experiment_create_rt0 acme_rockets_rt0 basic_id         
3
4.PHONY : setup runcheck clean
5runcheck: $(DIRECTORY)
6
7clean:
8        @for i in $(DIRECTORY); do \
9        here=`pwd`; \
10        cd $$i; \
11        rm -rf *.xml *.pem *.out *.log; \
12        cd $$here; \
13        done 
14        @rm -rf result
15
16runcheck: 
17        @echo 'running libabac PYTHON testing...' 
18        @rm -rf result
19        @for i in $(DIRECTORY); do \
20        here=`pwd`; \
21        cd $$i; \
22        printf "\n ==> RUN on %s\n" "$$i" >> ../result; \
23        ./run_test >> ../result 2>/dev/null; \
24        cd $$here; \
25        done
26        @if test -f result && test `cat result|wc -c` -eq 444 ; \
27        then echo "   PASSED"; \
28        else echo "   ERROR:got changes!!!"; \
29        fi
30
Note: See TracBrowser for help on using the repository browser.