source: examples/Makefile @ e197b65

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

1) wrap up regression testing
Z

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