source: examples/Makefile @ c00fcc3

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

1) add attribute tests
2) edit some doc

  • Property mode set to 100644
File size: 438 bytes
Line 
1
2
3DIRECTORY=creddy_tests creddy_prover_tests example_scripts python_tests\
4scaling_tests attr_tests
5
6.PHONY : runcheck clean
7
8all: runcheck
9
10clean:
11        @printf "\n ==> make CLEAN \n" 
12        @for i in $(DIRECTORY); do \
13        here=`pwd`; \
14        cd $$i; \
15        make -s clean; \
16        cd $$here; \
17        done; 
18
19runcheck: 
20        @make -s clean
21        @printf "\n ==> make TESTS \n"
22        @for i in $(DIRECTORY); do \
23        here=`pwd`; \
24        cd $$i; \
25        make -s runcheck; \
26        cd $$here; \
27        done; 
28
Note: See TracBrowser for help on using the repository browser.