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 | |
---|
1 | all: attr prove attr_partial |
---|
2 | |
---|
3 | abac_attr.o: abac_attr.c |
---|
4 | gcc -g -I/usr/local/include -c abac_attr.c -o abac_attr.o |
---|
5 | |
---|
6 | abac_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 | |
---|
9 | abac_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 | |
---|
12 | abac_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 | |
---|
15 | abac_prover.o: abac_prover.c |
---|
16 | gcc -g -I/usr/local/include -c abac_prover.c -o abac_prover.o |
---|
17 | |
---|
18 | abac_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 | |
---|
22 | clean: |
---|
23 | @rm -f abac_attr.o abac_attr *.pem *.der abac_prover.o abac_prover *.log abac_attr_partial.o abac_attr_partial |
---|
24 | |
---|
25 | setup: abac_attr abac_prover abac_attr_partial |
---|
26 | creddy --generate --cn IceCream |
---|
27 | creddy --generate --cn Chocolate |
---|
28 | |
---|
29 | attr: |
---|
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 | |
---|
34 | attr_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 | |
---|
39 | prove: |
---|
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.