source: examples/Makefile @ 0d6b61a

abac0-leakabac0-meimei-idmei-rt0-nmei_rt0tvf-new-xml
Last change on this file since 0d6b61a was 4721618, checked in by Mei <mei@…>, 12 years ago

1) tested out python and perl test scripts along with

abac_chunk_t calls in libabac's abac.hh
  • Property mode set to 100644
File size: 398 bytes
Line 
1
2
3DIRECTORY=creddy_tests creddy_prover_tests example_scripts
4.PHONY : runcheck clean
5
6all: runcheck
7
8clean:
9        @printf "\n ==> make CLEAN \n" 
10        @for i in $(DIRECTORY); do \
11        here=`pwd`; \
12        cd $$i; \
13        make -s clean; \
14        cd $$here; \
15        done; 
16
17runcheck: 
18        @make -s clean
19        @printf "\n ==> make TESTS \n"
20        @for i in $(DIRECTORY); do \
21        here=`pwd`; \
22        cd $$i; \
23        make -s runcheck; \
24        cd $$here; \
25        done; 
26
Note: See TracBrowser for help on using the repository browser.