Makefile
1.37 KB
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
# Usage: make test.N.report
#
# COUNT can be over-ridden to change the number of tests generated per
# file, and TESTARGS is used to change the type generation. Make sure
# to 'make clean' after changing either of these parameters.
ABITESTGEN := ../ABITestGen.py
TESTARGS := --max-args 0 --test-layout
COUNT := 1000
TIMEOUT := 5
CFLAGS := -std=gnu99
X_COMPILER := llvm-gcc
Y_COMPILER := clang
CC := gcc
ifeq (0, 0)
X_CFLAGS := -m32
Y_CFLAGS := -m32
CC_CFLAGS := -m32
else
X_CFLAGS := -m64
Y_CFLAGS := -m64
CC_CFLAGS := -m64
endif
.PHONY: test.%.report
test.%.report: test.%.x.diff test.%.y.diff
@for t in $^; do \
if [ -s $$t ]; then \
echo "TEST $*: $$t failed"; \
fi; \
done
.PHONY: test.%.build
test.%.build: test.%.ref test.%.x test.%.y
@true
###
.PRECIOUS: test.%.x.diff
test.%.x.diff: test.%.ref.out test.%.x.out
-diff $^ > $@
.PRECIOUS: test.%.y.diff
test.%.y.diff: test.%.ref.out test.%.y.out
-diff $^ > $@
.PRECIOUS: test.%.out
test.%.out: test.%
-./$< > $@
.PRECIOUS: test.%.ref
test.%.ref: test.%.c
$(CC) $(CFLAGS) $(CC_CFLAGS) -o $@ $^
.PRECIOUS: test.%.x
test.%.x: test.%.c
$(X_COMPILER) $(CFLAGS) $(X_CFLAGS) -o $@ $^
.PRECIOUS: test.%.y
test.%.y: test.%.c
$(Y_COMPILER) $(CFLAGS) $(Y_CFLAGS) -o $@ $^
.PRECIOUS: test.%.c
test.%.c: $(ABITESTGEN)
$(ABITESTGEN) $(TESTARGS) -o $@ --min=$(shell expr $* '*' $(COUNT)) --count=$(COUNT)
clean:
rm -f test.* *~