source: examples/scaling_tests/haystack/Makefile @ 94a4dd2

mei_rt2mei_rt2_fix_1
Last change on this file since 94a4dd2 was 41d99fb, checked in by Mei <mei@…>, 12 years ago

1) adding Makefiles

  • Property mode set to 100644
File size: 320 bytes
Line 
1
2
3DIRECTORY=fruit_prover fruit_python
4
5.PHONY : runcheck clean
6
7clean:
8        @for i in $(DIRECTORY); do \
9        export here=`pwd`;\
10        cd $$i; \
11        make clean; \
12        cd $$here; \
13        done;
14
15runcheck: 
16        @for i in $(DIRECTORY); do \
17        export here=`pwd`;\
18        printf " ...running on %s\n" "$$i" ; \
19        cd $$i; \
20        make test; \
21        cd $$here; \
22        done; 
Note: See TracBrowser for help on using the repository browser.