source: tests/example_scripts/c/Makefile.am @ 3c30b59

#
# example_scripts/c
#

.PHONY: clean-local 

INCLUDES = -I$(abs_top_srcdir)/libabac
LDADD = $(abs_top_builddir)/libabac/libabac.la
CREDDY_ENV = CREDDY_LOCATION=$(abs_top_builddir)/creddy
PROVER_ENV = PROVER_LOCATION=$(abs_top_builddir)/libabac
TEST_ENV = TESTDIR=$(abs_top_builddir)/tests
MY_ENV = env $(CREDDY_ENV) $(PROVER_ENV) $(TEST_ENV) LD_LIBRARY_PATH=$(abs_top_builddir)/libabac/.libs

LDFLAGS =-L$(abs_top_builddir)/libabac/.libs -labac -lm -lpthread -Wl,-rpath

all: attr prove 

abac_attr.o: abac_attr.c
        @gcc -g $(INCLUDES) -c abac_attr.c -o abac_attr.o

abac_attr: abac_attr.o
        @gcc -g -o abac_attr abac_attr.o $(LDFLAGS)

abac_prover.o: abac_prover.c
        @gcc -g $(INCLUDES) -c abac_prover.c -o abac_prover.o

abac_prover: abac_prover.o
        @gcc -g -o abac_prover abac_prover.o $(LDFLAGS)

tchunk: tchunk.c
        gcc -g $(INCLUDES) -c tchunk.c -o tchunk.o
        gcc -g -o tchunk tchunk.o $(LDFLAGS)
        ./tchunk 0 IceCream_ID.pem IceCream_private.pem
        ./tchunk 1 IceCream_ID.pem IceCream_private.pem

tt: tbasic.c
        gcc -g $(INCLUDES) -c tbasic.c -o tbasic.o
        gcc -g -o tt tbasic.o $(LDFLAGS)
        ./tt

clean-local:
        @rm -rf abac_attr.o abac_attr *.pem *.xml abac_prover.o 
        @rm -rf abac_prover *.log 
        @rm -rf tt tbasic.o tbasic

setup2: abac_attr abac_prover abac_attr_partial

attr: 
        @echo '---running (c) attr script'
        @$(MY_ENV) ./setup.sh 1>/dev/null 2>&1
        @make abac_attr
        @(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"` ; \
        if [ -z "$$rc" ]; then \
          echo "BAD:example_scripts/c/abac_attr:using libabac c to make attributes"; \
        else \
          echo "GOOD:example_scripts/c/abac_attr:using libabac c to make attributes"; \
        fi)


prove: abac_prover 
        @echo '---running (c) prover script'
        @$(MY_ENV) ./setup.sh 1>/dev/null 2>&1
        @make abac_attr
        @$(MY_ENV) ./abac_attr IceCream_ID.pem  IceCream_private.pem IceCream_attr.xml Chocolate_ID.pem 1>/dev/null 2>&1
        (rc=`$(MY_ENV) ./run_prover | grep "prover success" ` ; \
        if [ -z "$$rc" ]; then \
          echo "BAD:example_scripts/c/abac_prover:using libabac c to make a prover"; \
        else \
          echo "GOOD:example_scripts/c/abac_prover:using libabac c to make a prover"; \
        fi)



mattr: attr.c
        gcc -g -o mattr attr.c $(LDFLAGS)
mload: loader.c
        gcc -g -o mload loader.c $(LDFLAGS)