# # example_scripts/wiki # .PHONY: runcheck 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 PYTHON_ENV = PYTHONPATH=$(abs_top_builddir)/swig/python:$(abs_top_builddir)/swig/python/.libs:$(abs_top_builddir)/tests TEST_ENV = TESTDIR=$(abs_top_builddir)/tests MY_ENV = env $(CREDDY_ENV) $(PROVER_ENV) $(PYTHON_ENV) $(TEST_ENV) FIRST=id1 REST=id2 id3 id4 id5 attr1 attr2 ctxtQuery1 ctxtQuery2 ## need to enforce a specific order, all: $(FIRST) $(REST) id1: id1.py @make clean @echo "---running (wiki) id1.py script" @(rc=`$(MY_ENV) ./id1.py |wc -c`; \ if [ $$rc -eq 41 ] ; then \ echo "GOOD:example_scripts/wiki/id.py:making principal"; \ else \ echo "BAD:example_scripts/wiki/id.py:making principal"; \ fi) gen_newguy: newguy.sh @$(MY_ENV) ./newguy.sh 1>/dev/null 2>&1 id2: id2.py make gen_newguy @echo "---running (wiki) id2.py script" @(rc=`$(MY_ENV) ./id2.py |wc -c` ; \ if [ $$rc -eq 82 ]; then \ echo "GOOD:example_scripts/wiki/id2.py:making principal and chunk"; \ else \ echo "BAD:example_scripts/wiki/id2.py:making principal and chunk"; \ fi) id3: id3.py @make clean @echo "---running (wiki) id3.py script" @(rc=`$(MY_ENV) ./id3.py |wc -c` ; \ if [ $$rc -eq 123 ]; then \ echo "GOOD:example_scripts/wiki/id3.py:making principal and chunk"; \ else \ echo "BAD:example_scripts/wiki/id3.py:making principal and chunk"; \ fi) id4: id4.py @make clean @echo "---running (wiki) id4.py script" @$(MY_ENV) ./id4.py 1 > id4.out 2>&1 @($(MY_ENV) ./id4.ck; \ if [ $$? -eq 0 ]; then \ echo ""; \ echo "GOOD:example_scripts/wiki/id4.py:making variety of principals"; \ else \ echo "BAD:example_scripts/wiki/id4.py:making variety of principals"; \ fi) rm id4.out id5: id5.py @make clean @echo "---running (wiki) id5.py script" @$(MY_ENV) ./id5.py 1 > id5.out 2>& 1 @($(MY_ENV) ./id5.ck; \ if [ $$? -eq 0 ]; then \ echo ""; \ echo "GOOD:example_scripts/wiki/id5.py:making variety of principals"; \ else \ echo "BAD:example_scripts/wiki/id5.py:making variety of principals"; \ fi) rm id5.out attr1: attr1.py @make clean @echo "---running (wiki) attr1.py script" @(rc=`$(MY_ENV) ./attr1.py |wc -c` ; \ if [ $$rc -eq 0 ]; then \ echo "GOOD:example_scripts/wiki/attr1.py:making attribute"; \ else \ echo "BAD:example_scripts/wiki/attr1.py:making attribute"; \ fi) attr2: attr2.py @make clean @echo "---running (wiki) attr2.py script" @(rc=`$(MY_ENV) ./attr2.py |wc -c` ; \ if [ $$rc -eq 0 ]; then \ echo "GOOD:example_scripts/wiki/attr2.py:making more attribute"; \ else \ echo "BAD:example_scripts/wiki/attr2.py:making more attribute"; \ fi) ctxtQuery1: ctxtQuery1.py make clean @echo "---running (wiki) ctxtQuery1.py script" @(rc=`$(MY_ENV) ./ctxtQuery1.py |grep "ok? 1"` ; \ if [ "$$rc" = "" ]; then \ echo "BAD:example_scripts/wiki/ctxtQuery1.py:prove in context"; \ else \ echo "GOOD:example_scripts/wiki/ctxtQuery1.py:prove in context"; \ fi) ctxtQuery2: ctxtQuery2.py make clean @echo "---running (wiki) ctxtQuery2.py script" @(rc=`$(MY_ENV) ./ctxtQuery2.py |grep "ok? 1"` ; \ if [ "$$rc" = "" ]; then \ echo "BAD:example_scripts/wiki/ctxtQuery2.py:prove in contxt"; \ else \ echo "GOOD:example_scripts/wiki/ctxtQuery2.py:prove in contxt"; \ fi) clean: @rm -rf *.xml *.pem clean-local: @rm -rf *.xml *.pem