source: tests/scaling_tests/haystack/Makefile.am

Last change on this file was 831da18, checked in by Mei <mei@…>, 11 years ago

1) getting ready to for 0.1.6

  • Property mode set to 100644
File size: 315 bytes
Line 
1#
2# haystack
3#
4
5DIRECTORY=ralphs_prover
6SUBDIRS=$(DIRECTORY)
7
8.PHONY : runcheck clean
9all: runcheck
10
11clean:
12        @for i in $(DIRECTORY); do \
13        here=`pwd`; \
14        cd $$i; \
15        make clean; \
16        cd $$here;\
17        done;
18
19runcheck:
20        @for i in $(DIRECTORY); do \
21          here=`pwd`; \
22          cd $$i; \
23          make -i -s test; \
24          cd $$here;\
25        done;
Note: See TracBrowser for help on using the repository browser.