#
# creddy_prover_tests
#
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)

DIRECTORY=acme_rockets_intersection_rt0 acme_rockets_rt0 \
          experiment_create_rt0 ice_cream_rt0

.PHONY : clean clean-local runcheck
all: runcheck

runcheck :
	@echo 'running libabac CREDDY_PROVER testing...' | tee result
	@touch error
	@for i in $(DIRECTORY); do \
	  here=`pwd`; \
	  cd $$i; \
	  printf "\n ==> RUN on %s\n" "$$i" >> $$here/result ; \
	  $(MY_ENV) ./README 1>/dev/null 2>&1; \
	  $(MY_ENV) ./run_query |tee -a $$here/result |grep BAD >> $$here/error; \
	  cd $$here; \
	done
	@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 :
	@for i in $(DIRECTORY); do \
	  here=`pwd`; \
	  cd $$i; \
	  rm -rf *.pem *.xml; \
	  cd $$here; \
	done
	@rm -rf result error

clean-local: 
	@rm -rf result error