source: tests/creddy_prover_tests/Makefile.am @ 1afd681

abac0-leakabac0-mei
Last change on this file since 1afd681 was 3c30b59, checked in by Mei <mei@…>, 11 years ago

1) add in new refactored regression testing directory
2) undo the abac.hh/ABAC.hh api changes
3) merged with Ted's changes to attribute format/nickname/issuer processing

  • Property mode set to 100644
File size: 1.2 KB
Line 
1#
2# creddy_prover_tests
3#
4INCLUDES = -I$(abs_top_srcdir)/libabac
5LDADD = $(abs_top_builddir)/libabac/libabac.la
6CREDDY_ENV = CREDDY_LOCATION=$(abs_top_builddir)/creddy
7PROVER_ENV = PROVER_LOCATION=$(abs_top_builddir)/libabac
8TEST_ENV = TESTDIR=$(abs_top_builddir)/tests
9MY_ENV = env $(CREDDY_ENV) $(PROVER_ENV) $(TEST_ENV)
10
11DIRECTORY=acme_rockets_intersection_rt0 acme_rockets_rt0 \
12          experiment_create_rt0 ice_cream_rt0
13
14.PHONY : clean clean-local runcheck
15all: runcheck
16
17runcheck :
18        @echo 'running libabac CREDDY_PROVER testing...' | tee result
19        @touch error
20        @for i in $(DIRECTORY); do \
21          here=`pwd`; \
22          cd $$i; \
23          printf "\n ==> RUN on %s\n" "$$i" >> $$here/result ; \
24          $(MY_ENV) ./README 1>/dev/null 2>&1; \
25          $(MY_ENV) ./run_query |tee -a $$here/result |grep BAD >> $$here/error; \
26          cd $$here; \
27        done
28        @if test -f error ; \
29          then \
30            (if test `cat error | wc -l ` -eq 0 ; \
31              then echo "   PASSED"; \
32              else (echo "   ERROR!!!"; cat error;) \
33            fi) \
34          else echo "   PASSED"; \
35        fi
36
37
38clean :
39        @for i in $(DIRECTORY); do \
40          here=`pwd`; \
41          cd $$i; \
42          rm -rf *.pem *.xml; \
43          cd $$here; \
44        done
45        @rm -rf result error
46
47clean-local:
48        @rm -rf result error
Note: See TracBrowser for help on using the repository browser.