source: examples/example_scripts/c/Makefile @ a59bc06

mei_rt2mei_rt2_fix_1
Last change on this file since a59bc06 was 646e57e, checked in by Mei <mei@…>, 12 years ago

1) add partial proof

  • Property mode set to 100644
File size: 1.5 KB
Line 
1all: attr prove attr_partial
2
3abac_attr.o: abac_attr.c
4        gcc -g -I/usr/local/include -c abac_attr.c -o abac_attr.o
5
6abac_attr: abac_attr.o
7        gcc -g -o abac_attr abac_attr.o -L/usr/local/lib -L/usr/local/lib/ipsec -labac -lYap -lreadline -lm -lstrongswan -Wl,-rpath -Wl,/usr/local/lib/ipsec
8
9abac_attr_partial.o: abac_attr_partial.c
10        gcc -g -I/usr/local/include -c abac_attr_partial.c -o abac_attr_partial.o
11
12abac_attr_partial: abac_attr_partial.o
13        gcc -g -o abac_attr_partial abac_attr_partial.o -L/usr/local/lib -L/usr/local/lib/ipsec -labac -lYap -lreadline -lm -lstrongswan -Wl,-rpath -Wl,/usr/local/lib/ipsec
14
15abac_prover.o: abac_prover.c
16        gcc -g -I/usr/local/include -c abac_prover.c -o abac_prover.o
17
18abac_prover: abac_prover.o
19        gcc -g -o abac_prover abac_prover.o -L/usr/local/lib -L/usr/local/lib/ipsec -labac -lYap -lreadline -lm -lstrongswan -Wl,-rpath -Wl,/usr/local/lib/ipsec
20
21
22clean:
23        @rm -f abac_attr.o abac_attr *.pem *.der abac_prover.o abac_prover *.log abac_attr_partial.o abac_attr_partial
24
25setup: abac_attr abac_prover abac_attr_partial
26        creddy --generate --cn IceCream
27        creddy --generate --cn Chocolate
28
29attr: 
30        rm -rf attr.log
31        make setup
32        ./abac_attr IceCream_ID.pem  IceCream_private.pem IceCream_attr.der Chocolate_ID.pem 1>attr.log 2>&1
33
34attr_partial: 
35        rm -rf attr_partial.log
36        make setup
37        ./abac_attr_partial IceCream_ID.pem  IceCream_private.pem IceCream_attr.der Chocolate_ID.pem 1>attr_partial.log 2>&1
38
39prove: 
40        rm -rf prover.log
41        make attr
42        ./run_prover 1>prover.log 2>&1
43
Note: See TracBrowser for help on using the repository browser.