source: tests/example_scripts/c/Makefile.am @ 831da18

abac0-leakabac0-mei
Last change on this file since 831da18 was 831da18, checked in by Mei <mei@…>, 11 years ago

1) getting ready to for 0.1.6

  • Property mode set to 100644
File size: 1.9 KB
RevLine 
[3c30b59]1#
2# example_scripts/c
3#
4
[831da18]5include  ../../abac.mk
[3c30b59]6
[2d56f83]7.PHONY: clean-local
[3c30b59]8
9all: attr prove
10
11abac_attr.o: abac_attr.c
[2d56f83]12        gcc -g $(MY_INCLUDES_VAL) -c abac_attr.c -o abac_attr.o
[3c30b59]13
14abac_attr: abac_attr.o
[2d56f83]15        gcc -g -o abac_attr abac_attr.o $(MY_LDFLAGS_VAL)
[3c30b59]16
17abac_prover.o: abac_prover.c
[2d56f83]18        gcc -g $(MY_INCLUDES_VAL) -c abac_prover.c -o abac_prover.o
[3c30b59]19
20abac_prover: abac_prover.o
[2d56f83]21        gcc -g -o abac_prover abac_prover.o $(MY_LDFLAGS_VAL)
[3c30b59]22
23tchunk: tchunk.c
[2d56f83]24        gcc -g $(MY_INCLUDES_VAL) -c tchunk.c -o tchunk.o
25        gcc -g -o tchunk tchunk.o $(MY_LDFLAGS_VAL)
[3c30b59]26        ./tchunk 0 IceCream_ID.pem IceCream_private.pem
27        ./tchunk 1 IceCream_ID.pem IceCream_private.pem
28
29tt: tbasic.c
[2d56f83]30        gcc -g $(MY_INCLUDES_VAL) -c tbasic.c -o tbasic.o
31        gcc -g -o tt tbasic.o $(MY_LDFLAGS_VAL)
[3c30b59]32        ./tt
33
34clean-local:
35        @rm -rf abac_attr.o abac_attr *.pem *.xml abac_prover.o
36        @rm -rf abac_prover *.log
37        @rm -rf tt tbasic.o tbasic
38
39setup2: abac_attr abac_prover abac_attr_partial
40
41attr:
[2d56f83]42        echo '---running (c) attr script'
43        $(MY_ENV) ./setup.sh 1>/dev/null 2>&1
44        make abac_attr
45        (rc=`$(MY_ENV) ./abac_attr IceCream_ID.pem  IceCream_private.pem IceCream_attr.xml Chocolate_ID.pem 2>/dev/null 2>/dev/null | grep "attr success"` ; \
[3c30b59]46        if [ -z "$$rc" ]; then \
47          echo "BAD:example_scripts/c/abac_attr:using libabac c to make attributes"; \
48        else \
49          echo "GOOD:example_scripts/c/abac_attr:using libabac c to make attributes"; \
50        fi)
51
52
53prove: abac_prover
54        @echo '---running (c) prover script'
55        @$(MY_ENV) ./setup.sh 1>/dev/null 2>&1
56        @make abac_attr
57        @$(MY_ENV) ./abac_attr IceCream_ID.pem  IceCream_private.pem IceCream_attr.xml Chocolate_ID.pem 1>/dev/null 2>&1
58        (rc=`$(MY_ENV) ./run_prover | grep "prover success" ` ; \
59        if [ -z "$$rc" ]; then \
60          echo "BAD:example_scripts/c/abac_prover:using libabac c to make a prover"; \
61        else \
62          echo "GOOD:example_scripts/c/abac_prover:using libabac c to make a prover"; \
63        fi)
64
65
66
67mattr: attr.c
[2d56f83]68        gcc -g -o mattr attr.c $(MY_LDFLAGS_VAL)
[3c30b59]69mload: loader.c
[2d56f83]70        gcc -g -o mload loader.c $(MY_LDFLAGS_VAL)
Note: See TracBrowser for help on using the repository browser.