1 SUBDIRS = unit system regress .
5 .PHONY: units systemtests regress regress0 regress1 regress2 regress3
6 units systemtests regress regress0 regress1 regress2 regress3:
8 for dir in $(SUBDIRS); do \
9 test $$dir = . || (cd $$dir && $(MAKE) $(AM_MAKEFLAGS) $@); \
13 # synonyms for "check" in this directory
18 red=; grn=; lgn=; blu=; std=; \
19 test "X$(AM_COLOR_TESTS)" != Xno \
20 && test "X$$TERM" != Xdumb \
21 && { test "X$(AM_COLOR_TESTS)" = Xalways || test -t 1 2>/dev/null; } \
34 regress/regress0/arith \
35 regress/regress0/arith/integers \
37 regress/regress0/uflra \
38 regress/regress0/uflia \
40 regress/regress0/bv/core \
41 regress/regress0/arrays \
42 regress/regress0/aufbv \
43 regress/regress0/datatypes \
44 regress/regress0/quantifiers \
45 regress/regress0/rewriterules \
46 regress/regress0/lemmas \
47 regress/regress0/push-pop \
48 regress/regress0/precedence \
49 regress/regress0/preprocess \
50 regress/regress0/unconstrained \
51 regress/regress0/decision \
56 check-recursive: check-pre
59 @rm -f $(subdirs_to_check:=/test-suite.log)
62 echo $${blu}=============================== TESTING SUMMARY =============================$$std; \
63 if test -s "unit/test-suite.log"; then :; else \
64 echo "$${red}Unit tests did not run; maybe there were compilation problems ?$$std"; \
66 if test -s "system/test-suite.log"; then :; else \
67 echo "$${red}System tests did not run; maybe there were compilation problems ?$$std"; \
69 for dir in $(subdirs_to_check); do \
70 log=$$dir/test-suite.log; \
71 if test -s "$$log"; then \
72 status="`head -n 5 $$log | tail -1`"; \
73 if echo "$$status" | grep -q failed; then \
74 echo "$$red$$status"; \
75 echo " @abs_builddir@/$$log$$std"; \
77 printf "$$grn%-30s in $$dir$$std\\n" "$$status"; \
81 echo $${blu}=============================== TESTING SUMMARY =============================$$std