#
# tests directory for libabac
#

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
PERL_ENV = PERLLIB=$(abs_top_builddir)/swig/perl:$(abs_top_builddir)/swig/perl/.libs
TEST_ENV = TESTDIR=$(abs_top_builddir)/tests

MY_SH_ENV = env $(CREDDY_ENV) $(PROVER_ENV) 
MY_PY_ENV = env $(PROVER_ENV) $(PYTHON_ENV)
MY_PL_ENV = env $(PERL_ENV)

DIRECTORY = example_scripts python_tests scaling_tests \
          creddy_tests creddy_prover_tests attr_tests

SUBDIRS = $(DIRECTORY)

.PHONY: clean clean-local check_sh_env check_py_env tests
all: check_pl_env check_sh_env check_py_env tests

tests:
	@touch result
	@for i in $(DIRECTORY); do \
	  here=`pwd`; \
	  cd $$i; \
	  make -s runcheck | tee -a $$here/result; \
	  cd $$here; \
	done

check_sh_env:
	@rc=`$(MY_SH_ENV) ./test_util.sh`; \
	if [ $$? -eq 0 ]; then \
	  echo "sh_env, okay"; \
	else \
	  echo "sh_env, not okay"; \
	  echo "perhap you did not configure&build libabac's c api??"; \
	fi

check_py_env:
	@rc=`$(MY_PY_ENV) ./test_util.py`; \
	if [ $$? -eq 0 ]; then \
	  echo "py_env, okay"; \
	else \
	  echo "py_env, not okay"; \
	  echo "perhap you did not configure&build libabac's swig/python api??"; \
	fi

check_pl_env:
	@rc=`$(MY_PL_ENV) ./test_util.pl`; \
	if [ $$? -eq 0 ]; then \
	  echo "pl_env, okay"; \
	else \
	  echo "pl_env, not okay"; \
	  echo "perhap you did not configure&build libabac's swig/perl api??"; \
	fi
	
	
clean:
	for i in $(DIRECTORY); do \
	  here=`pwd`; \
	  cd $$i; \
	  make clean; \
	  cd $$here; \
	done
	rm -rf result error
	rm -rf test_util.pyc

clean-local:
	rm -rf result error
	rm -rf test_util.pyc