#
# attr_tests
#

.PHONY: runcheck clean-local setup

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)

all:runcheck

runcheck: setup.sh
	@make clean
	@echo 'running libabac ATTRS testing...' | tee result
	@touch error
	@$(MY_ENV) ./setup.sh 
	@($(MY_ENV) ./show.sh |tee -a result |grep BAD >> ../error; cd .)
	@if test -f error ; \
	  then \
	    (if test `cat error | wc -l ` -eq 0 ; \
	      then echo "   PASSED"; \
	      else (echo "   ERROR!!!"; cat error;); \
	    fi); \
	  else echo "   PASSED"; \
	fi

clean:
	@rm -rf *.xml *.pem error result

clean-local:
	@rm -rf *.xml *.pem error result