source: examples/example_scripts/perl/Makefile @ 43478b1

mei_rt2mei_rt2_fix_1
Last change on this file since 43478b1 was 2485307, checked in by Mei <mei@…>, 12 years ago

1) wrap up the changes on proof buffer's process in abac_pl_yap.c
2) update some doc
3) wrap up the scaling tests(big daisy chains)
  • Property mode set to 100644
File size: 397 bytes
RevLine 
[bea18ef]1all: run bad prove
2
[ba6027a]3clean:
[2485307]4        @rm -rf *.pem *.der
[ba6027a]5
6realclean:
[2485307]7        @rm -rf *.pem *.der *.log
[ba6027a]8
[bea18ef]9setup: 
10        creddy --generate --cn IceCream
11        creddy --generate --cn Chocolate
12       
[ba6027a]13run: 
14        make clean
[bea18ef]15        make setup
[ba6027a]16        ./abac_keyid.pl IceCream_ID.pem 1>id.log 2>&1 
[bea18ef]17
[ba6027a]18bad: 
19        make clean
[bea18ef]20        make setup
21        -./abac_keyid.pl IceCream_private.pem 1>id2.log 2>&1 
22
23prove: 
24        make clean
25        make setup
26        ./run_prover 1 >prover.log 2>&1
27
Note: See TracBrowser for help on using the repository browser.