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=; mag=; 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   mag='\e[1;35m'; \
  28   std='\e[m'; \
  29 }
  30
  31 subdirs_to_check = \
  32         unit \
  33         system \
  34         regress/regress0 \
  35         regress/regress0/arith \
  36         regress/regress0/arith/integers \
  37         regress/regress0/uf \
  38         regress/regress0/uflra \
  39         regress/regress0/uflia \
  40         regress/regress0/bv \
  41         regress/regress0/bv/core \
  42         regress/regress0/arrays \
  43         regress/regress0/aufbv \
  44         regress/regress0/auflia \
  45         regress/regress0/datatypes \
  46         regress/regress0/quantifiers \
  47         regress/regress0/rewriterules \
  48         regress/regress0/lemmas \
  49         regress/regress0/push-pop \
  50         regress/regress0/push-pop/arith \
  51         regress/regress0/push-pop/boolean \
  52         regress/regress0/precedence \
  53         regress/regress0/preprocess \
  54         regress/regress0/tptp \
  55         regress/regress0/unconstrained \
  56         regress/regress0/decision \
  57         regress/regress0/fmf \
  58         regress/regress0/strings \
  59         regress/regress1 \
  60         regress/regress1/arith \
  61         regress/regress2 \
  62         regress/regress3
  63
  64 check-recursive: check-pre
  65 .PHONY: check-pre
  66 check-pre:
  67         @rm -f $(subdirs_to_check:=/test-suite.log)
  68
  69 if HAVE_CXXTESTGEN
  70 HANDLE_UNIT_TEST_SUMMARY = \
  71         if test -s "unit/test-suite.log"; then :; else \
  72                 echo "$${red}Unit tests did not run; maybe there were compilation problems ?$$std"; \
  73         fi
  74 else
  75 HANDLE_UNIT_TEST_SUMMARY = \
  76         echo "$${mag}Unit tests not supported, since CxxTest wasn't found$$std"; \
  77         rm -f "unit/test-suite.log"
  78 endif
  79
  80 if AUTOMAKE_1_11
  81 # automake 1.11 version
  82 check-local:
  83         @$(am__tty_colors); \
  84         echo $${blu}===============================  TESTING SUMMARY  =============================$$std; \
  85         $(HANDLE_UNIT_TEST_SUMMARY); \
  86         if test -s "system/test-suite.log"; then :; else \
  87                 echo "$${red}System tests did not run; maybe there were compilation problems ?$$std"; \
  88         fi; \
  89         for dir in $(subdirs_to_check); do \
  90                 log=$$dir/test-suite.log; \
  91                 if test -s "$$log"; then \
  92                         status="`head -n 5 $$log | tail -1`"; \
  93                         if echo "$$status" | grep -q failed; then \
  94                                 echo "$$red$$status"; \
  95                                 echo "    @abs_builddir@/$$log$$std"; \
  96                         else \
  97                                 printf "$$grn%-30s in $$dir$$std\\n" "$$status"; \
  98                         fi; \
  99                 fi; \
 100         done; \
 101         echo $${blu}===============================  TESTING SUMMARY  =============================$$std
 102 else
 103 # automake 1.12 version
 104 check-local:
 105         @$(am__tty_colors); \
 106         echo $${blu}===============================  TESTING SUMMARY  =============================$$std; \
 107         $(HANDLE_UNIT_TEST_SUMMARY); \
 108         if test -s "system/test-suite.log"; then :; else \
 109                 echo "$${red}System tests did not run; maybe there were compilation problems ?$$std"; \
 110         fi; \
 111         for dir in $(subdirs_to_check); do \
 112                 log=$$dir/test-suite.log; \
 113                 if test -s "$$log"; then \
 114                         status="`head -n 11 $$log | tail -7`"; \
 115                         nicestatus="`echo $$status | sed 's/# [A-Z]*: 0 *//g;s/# \([A-Z]*\): \([0-9]*\)/\2 \1,/g;s/, *$$//;'`"; \
 116                         if      echo "$$status" | grep -q '# FAIL:  0' && \
 117                                 echo "$$status" | grep -q '# XPASS: 0' && \
 118                                 echo "$$status" | grep -q '# ERROR: 0' && \
 119                                 echo "$$status" | grep -q '# SKIP:  0'; then \
 120                                 printf "$$grn%-30s in $$dir$$std\\n" "$$nicestatus"; \
 121                         else \
 122                                 echo "$$red$$nicestatus"; \
 123                                 echo "    @abs_builddir@/$$log$$std"; \
 124                         fi; \
 125                 fi; \
 126         done; \
 127         echo $${blu}===============================  TESTING SUMMARY  =============================$$std
 128 endif