source: examples/creddy_prover_tests/Makefile @ 928b1b7

mei_rt2mei_rt2_fix_1
Last change on this file since 928b1b7 was 08b8da7, checked in by Mei <mei@…>, 12 years ago

1) rework examples directory with Makefile
2) update scaling with plotting scripts
3) add more doc in there

  • Property mode set to 100644
File size: 1.1 KB
Line 
1
2DIRECTORY=access_rt2 acme_friend_rt1 acme_rockets_intersection_rt0 acme_rockets_rt0 alice_rt1 alumni2_rt1 alumni3_rt1 alumni_rt1 balltime_rt2 evaluator_rt1 experiment_create_rt0 file_read_rt2 fruits_rt2 leader_rt1 payraise_rt1
3
4.PHONY : setup runcheck clean
5
6clean:
7        @for i in $(DIRECTORY); do \
8        here=`pwd`; \
9        printf "\n ==> CLEANING on %s\n" "$$i"; \
10        cd $$i; \
11        rm -rf *.der *.pem *.cn *.sha *.log creds_dump; \
12        cd $$here; \
13        done 
14        @rm -rf allout.cn allout.sha
15
16setup: 
17        @for i in $(DIRECTORY); do \
18        here=`pwd`; \
19        cd $$i; \
20        ./README 1 >/dev/null 2>&1; \
21        cd $$here; \
22        done
23
24runcheck: 
25        @echo 'running libabac CREDDY/ABAC_PROVER_YAP testing...' 
26        @make setup
27        @for i in $(DIRECTORY); do \
28        here=`pwd`; \
29        cd $$i; \
30        printf "\n ==> RUN on %s\n" "$$i" >> allout.sha; \
31        ./run_query >> ../allout.sha 2>/dev/null; \
32        printf "\n ==> RUN on %s\n" "$$i" >> ../allout.cn; \
33        env ABAC_CN=1 ./run_query >> ../allout.cn 2>/dev/null; \
34        cd $$here; \
35        done
36        @if test `diff -q allout.save allout.cn |wc -l ` -eq 0 ; \
37        then echo "   PASSED"; \
38        else echo "   ERROR:got changes!!!"; \
39        fi
40
Note: See TracBrowser for help on using the repository browser.