mei_rt2mei_rt2_fix_1
Last change
on this file since 8de54ab 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:
363 bytes
|
Line | |
---|
1 | all: run bad prove |
---|
2 | |
---|
3 | clean: |
---|
4 | @rm -rf *.pem *.der *.log |
---|
5 | |
---|
6 | setup: |
---|
7 | creddy --generate --cn IceCream |
---|
8 | creddy --generate --cn Chocolate |
---|
9 | |
---|
10 | run: |
---|
11 | make clean |
---|
12 | make setup |
---|
13 | ./abac_keyid.pl IceCream_ID.pem 1>id.log 2>&1 |
---|
14 | |
---|
15 | bad: |
---|
16 | make clean |
---|
17 | make setup |
---|
18 | -./abac_keyid.pl IceCream_private.pem 1>id2.log 2>&1 |
---|
19 | |
---|
20 | prove: |
---|
21 | make clean |
---|
22 | make setup |
---|
23 | ./run_prover 1 >prover.log 2>&1 |
---|
24 | |
---|
Note: See
TracBrowser
for help on using the repository browser.