test/Makefile.am

   1 SUBDIRS = unit system regress .
   2
   3 MAKEFLAGS = -k
   4
   5 .PHONY: units systemtests regress regress0 regress1 regress2 regress3
   6 units systemtests regress regress0 regress1 regress2 regress3:
   7         @$(MAKE) check-pre; \
   8         for dir in $(SUBDIRS); do \
   9                 test $$dir = . || (cd $$dir && $(MAKE) $(AM_MAKEFLAGS) $@); \
  10         done; \
  11         $(MAKE) check-local
  12
  13 # synonyms for "check" in this directory
  14 .PHONY: test
  15 test: check
  16
  17 am__tty_colors = \
  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; } \
  22 && { \
  23   red='\e[0;31m'; \
  24   grn='\e[0;32m'; \
  25   lgn='\e[1;32m'; \
  26   blu='\e[1;34m'; \
  27   std='\e[m'; \
  28 }
  29
  30 subdirs_to_check = \
  31         unit \
  32         system \
  33         regress/regress0 \
  34         regress/regress0/arith \
  35         regress/regress0/arith/integers \
  36         regress/regress0/uf \
  37         regress/regress0/uflra \
  38         regress/regress0/uflia \
  39         regress/regress0/bv \
  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 \
  52         regress/regress1 \
  53         regress/regress2 \
  54         regress/regress3
  55
  56 check-recursive: check-pre
  57 .PHONY: check-pre
  58 check-pre:
  59         @rm -f $(subdirs_to_check:=/test-suite.log)
  60 check-local:
  61         @$(am__tty_colors); \
  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"; \
  65         fi; \
  66         if test -s "system/test-suite.log"; then :; else \
  67                 echo "$${red}System tests did not run; maybe there were compilation problems ?$$std"; \
  68         fi; \
  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"; \
  76                         else \
  77                                 printf "$$grn%-30s in $$dir$$std\\n" "$$status"; \
  78                         fi; \
  79                 fi; \
  80         done; \
  81         echo $${blu}===============================  TESTING SUMMARY  =============================$$std