mei_rt2
Last change
on this file since accd63d was
7f04233,
checked in by Mei <mei@…>, 11 years ago
|
1) tweak examples
|
-
Property mode set to
100644
|
File size:
608 bytes
|
Rev | Line | |
---|
[2e9455f] | 1 | |
---|
| 2 | DIRECTORY=creddy_prover |
---|
| 3 | |
---|
| 4 | .PHONY : runcheck clean |
---|
| 5 | runcheck: $(DIRECTORY) |
---|
| 6 | |
---|
| 7 | clean: |
---|
| 8 | @for i in $(DIRECTORY); do \ |
---|
| 9 | here=`pwd`; \ |
---|
| 10 | rm -rf allout.tmp; \ |
---|
| 11 | cd $$i; \ |
---|
| 12 | ./cleanup.sh all \ |
---|
| 13 | cd $$here; \ |
---|
| 14 | done |
---|
| 15 | @rm -rf allout.tmp |
---|
| 16 | |
---|
| 17 | runcheck: |
---|
[7f04233] | 18 | @echo 'running libabac ACCESS testing...' |
---|
[2e9455f] | 19 | @for i in $(DIRECTORY); do \ |
---|
| 20 | here=`pwd`; \ |
---|
| 21 | cd $$i; \ |
---|
| 22 | printf "\n ==> RUN on %s\n" "$$i" >> ../allout.tmp ; \ |
---|
| 23 | ./run_test 1 >> ../allout.tmp 2>/dev/null; \ |
---|
| 24 | cd $$here; \ |
---|
| 25 | done |
---|
| 26 | @if test -f allout.tmp && test `diff -q allout.save allout.tmp |wc -l ` -eq 0 ; \ |
---|
| 27 | then echo " PASSED"; \ |
---|
| 28 | else echo " ERROR:got changes!!!"; \ |
---|
| 29 | fi |
---|
| 30 | |
---|
Note: See
TracBrowser
for help on using the repository browser.