1 | |
---|
2 | # |
---|
3 | # tests directory for libabac |
---|
4 | # |
---|
5 | # default, executable/lib are accessed from build directory but |
---|
6 | # in case where rpm/debian binary packages were used, only access |
---|
7 | # to install directory is available.. |
---|
8 | # In that case, the call, |
---|
9 | # env TEST_INSTALL=true make testing |
---|
10 | # will force the test to be run with install directory |
---|
11 | # |
---|
12 | |
---|
13 | INCLUDES = -I$(abs_top_srcdir)/libabac |
---|
14 | LDADD = $(abs_top_builddir)/libabac/libabac.la |
---|
15 | |
---|
16 | CREDDY_ENV = CREDDY_LOCATION=$(abs_top_builddir)/creddy |
---|
17 | PROVER_ENV = PROVER_LOCATION=$(abs_top_builddir)/libabac |
---|
18 | PYTHON_ENV = PYTHONPATH=$(abs_top_builddir)/swig/python:$(abs_top_builddir)/swig/python/.libs:$(abs_top_builddir)/tests |
---|
19 | PERL_ENV = PERLLIB=$(abs_top_builddir)/swig/perl:$(abs_top_builddir)/swig/perl/.libs |
---|
20 | TEST_ENV = TESTDIR=$(abs_top_builddir)/tests |
---|
21 | |
---|
22 | MY_SH_ENV = env $(CREDDY_ENV) $(PROVER_ENV) |
---|
23 | MY_PY_ENV = env $(PROVER_ENV) $(PYTHON_ENV) |
---|
24 | MY_PL_ENV = env $(PERL_ENV) |
---|
25 | |
---|
26 | DIRECTORY = example_scripts python_tests scaling_tests \ |
---|
27 | creddy_tests creddy_prover_tests attr_tests |
---|
28 | |
---|
29 | SUBDIRS = $(DIRECTORY) |
---|
30 | |
---|
31 | .PHONY: clean clean-local check_sh_env check_py_env tests |
---|
32 | all: check_pl_env check_sh_env check_py_env tests |
---|
33 | |
---|
34 | tests: |
---|
35 | @touch result |
---|
36 | @for i in $(DIRECTORY); do \ |
---|
37 | here=`pwd`; \ |
---|
38 | cd $$i; \ |
---|
39 | make -s runcheck | tee -a $$here/result; \ |
---|
40 | cd $$here; \ |
---|
41 | done |
---|
42 | |
---|
43 | check_sh_env: |
---|
44 | @rc=`$(MY_SH_ENV) ./test_util.sh`; \ |
---|
45 | if [ $$? -eq 0 ]; then \ |
---|
46 | echo "sh_env, okay"; \ |
---|
47 | else \ |
---|
48 | echo "sh_env, not okay"; \ |
---|
49 | echo "perhap you did not configure&build libabac's c api??"; \ |
---|
50 | fi |
---|
51 | |
---|
52 | check_py_env: |
---|
53 | @rc=`$(MY_PY_ENV) ./test_util.py`; \ |
---|
54 | if [ $$? -eq 0 ]; then \ |
---|
55 | echo "py_env, okay"; \ |
---|
56 | else \ |
---|
57 | echo "py_env, not okay"; \ |
---|
58 | echo "perhap you did not configure&build libabac's swig/python api??"; \ |
---|
59 | fi |
---|
60 | |
---|
61 | check_pl_env: |
---|
62 | @rc=`$(MY_PL_ENV) ./test_util.pl`; \ |
---|
63 | if [ $$? -eq 0 ]; then \ |
---|
64 | echo "pl_env, okay"; \ |
---|
65 | else \ |
---|
66 | echo "pl_env, not okay"; \ |
---|
67 | echo "perhap you did not configure&build libabac's swig/perl api??"; \ |
---|
68 | fi |
---|
69 | |
---|
70 | |
---|
71 | clean: |
---|
72 | for i in $(DIRECTORY); do \ |
---|
73 | here=`pwd`; \ |
---|
74 | cd $$i; \ |
---|
75 | make clean; \ |
---|
76 | cd $$here; \ |
---|
77 | done |
---|
78 | rm -rf result error |
---|
79 | rm -rf test_util.pyc |
---|
80 | |
---|
81 | clean-local: |
---|
82 | rm -rf result error |
---|
83 | rm -rf test_util.pyc |
---|