blob: de8220064bacdf22a6a0767a9c07449a3d8b0415 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
|
SUBDIRS = unit system regress .
MAKEFLAGS = -k
.PHONY: units systemtests regress regress0 regress1 regress2 regress3
units systemtests regress regress0 regress1 regress2 regress3:
@$(MAKE) check-pre; \
for dir in $(SUBDIRS); do \
test $$dir = . || (cd $$dir && $(MAKE) $(AM_MAKEFLAGS) $@); \
done; \
$(MAKE) check-local
# synonyms for "check" in this directory
.PHONY: test
test: check
am__tty_colors = \
red=; grn=; lgn=; blu=; std=; \
test "X$(AM_COLOR_TESTS)" != Xno \
&& test "X$$TERM" != Xdumb \
&& { test "X$(AM_COLOR_TESTS)" = Xalways || test -t 1 2>/dev/null; } \
&& { \
red='[0;31m'; \
grn='[0;32m'; \
lgn='[1;32m'; \
blu='[1;34m'; \
std='[m'; \
}
subdirs_to_check = \
unit \
system \
regress/regress0 \
regress/regress0/arith \
regress/regress0/arith/integers \
regress/regress0/uf \
regress/regress0/uflra \
regress/regress0/uflia \
regress/regress0/bv \
regress/regress0/bv/core \
regress/regress0/arrays \
regress/regress0/aufbv \
regress/regress0/datatypes \
regress/regress0/quantifiers \
regress/regress0/rewriterules \
regress/regress0/lemmas \
regress/regress0/push-pop \
regress/regress0/precedence \
regress/regress0/preprocess \
regress/regress0/unconstrained \
regress/regress0/decision \
regress/regress1 \
regress/regress2 \
regress/regress3
check-recursive: check-pre
.PHONY: check-pre
check-pre:
@rm -f $(subdirs_to_check:=/test-suite.log)
if AUTOMAKE_1_11
# automake 1.11 version
check-local:
@$(am__tty_colors); \
echo $${blu}=============================== TESTING SUMMARY =============================$$std; \
if test -s "unit/test-suite.log"; then :; else \
echo "$${red}Unit tests did not run; maybe there were compilation problems ?$$std"; \
fi; \
if test -s "system/test-suite.log"; then :; else \
echo "$${red}System tests did not run; maybe there were compilation problems ?$$std"; \
fi; \
for dir in $(subdirs_to_check); do \
log=$$dir/test-suite.log; \
if test -s "$$log"; then \
status="`head -n 5 $$log | tail -1`"; \
if echo "$$status" | grep -q failed; then \
echo "$$red$$status"; \
echo " @abs_builddir@/$$log$$std"; \
else \
printf "$$grn%-30s in $$dir$$std\\n" "$$status"; \
fi; \
fi; \
done; \
echo $${blu}=============================== TESTING SUMMARY =============================$$std
else
# automake 1.12 version
check-local:
@$(am__tty_colors); \
echo $${blu}=============================== TESTING SUMMARY =============================$$std; \
if test -s "unit/test-suite.log"; then :; else \
echo "$${red}Unit tests did not run; maybe there were compilation problems ?$$std"; \
fi; \
if test -s "system/test-suite.log"; then :; else \
echo "$${red}System tests did not run; maybe there were compilation problems ?$$std"; \
fi; \
for dir in $(subdirs_to_check); do \
log=$$dir/test-suite.log; \
if test -s "$$log"; then \
status="`head -n 11 $$log | tail -7`"; \
nicestatus="`echo $$status | sed 's/# [A-Z]*: 0 *//g;s/# \([A-Z]*\): \([0-9]*\)/\2 \1,/g;s/, *$$//;'`"; \
if echo "$$status" | grep -q '# FAIL: 0' && \
echo "$$status" | grep -q '# XPASS: 0' && \
echo "$$status" | grep -q '# ERROR: 0' && \
echo "$$status" | grep -q '# SKIP: 0'; then \
printf "$$grn%-30s in $$dir$$std\\n" "$$nicestatus"; \
else \
echo "$$red$$nicestatus"; \
echo " @abs_builddir@/$$log$$std"; \
fi; \
fi; \
done; \
echo $${blu}=============================== TESTING SUMMARY =============================$$std
endif
|