herdtools7/Makefile.x86_64 at master · ShaleXIONG/herdtools7 · GitHub

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
X86_64_PREFIX ?= x86_64-linux-gnu-

litmus-x86_64-run: RUN_TESTS=true
litmus-x86_64-norun: RUN_TESTS=false
litmus-x86_64-test: litmus-x86_64-run litmus-x86_64-norun

#Run all tests by default
litmus-x86_64-norun:

litmus-x86_64-run:: litmus-cata-x86_64-test-std
litmus-cata-x86_64-test-std: TEMP_DIR:=$(shell mktemp -d)
litmus-cata-x86_64-test-std:
	$(LITMUS)                                        \
                -set-libdir $(PWD)/litmus/libdir         \
                -mach x86_64                             \
                -gcc=$(X86_64_PREFIX)gcc                 \
                -mode std                                \
                -a 4                                     \
                -outnames $(TEMP_DIR)/names.txt          \
                -o $(TEMP_DIR)                           \
                catalogue/x86_64/tests/@all
	make $(SILENTOPT) -C $(TEMP_DIR) -j $(J)
	if $(RUN_TESTS); then                            \
           ( cd $(TEMP_DIR) && sh ./run.sh) |            \
           $(CHECK_OBS) -verbose $(TEMP_DIR)/names.txt;  \
        fi
	$(RM) -rf $(TEMP_DIR)
	@ echo "litmus7 in -mode std catalogue x86_64 tests: OK"

litmus-x86_64-run:: litmus-cata-x86_64-test-presi
litmus-cata-x86_64-test-presi: TEMP_DIR:=$(shell mktemp -d)
litmus-cata-x86_64-test-presi:
	$(LITMUS)                                       \
                  -set-libdir $(PWD)/litmus/libdir      \
                  -mach x86_64                          \
                  -gcc=$(X86_64_PREFIX)gcc              \
                  -mode presi                           \
                  -driver C                             \
                  -a 4 -s 1k -r 50                      \
                  -outnames $(TEMP_DIR)/names.txt       \
                   -o $(TEMP_DIR)                       \
                   catalogue/x86_64/tests/@all
	make $(SILENTOPT) -C $(TEMP_DIR) -j $(J)
	if $(RUN_TESTS); then                           \
           ( cd $(TEMP_DIR) && ./run.exe ) |            \
           $(CHECK_OBS) -verbose $(TEMP_DIR)/names.txt; \
        fi
	$(RM) -rf $(TEMP_DIR)
	@ echo "litmus7 in -mode presi catalogue x86_64 tests: OK"

KUT_X86_64_CONFIG_PARAMS=--cross-prefix=$(X86_64_PREFIX) --arch=x86_64
KUT_DIR := $(shell mktemp -d)

litmus-x86_64-dep:
	cd $(KUT_DIR);                                                     \
	git clone -q https://gitlab.com/kvm-unit-tests/kvm-unit-tests.git; \
	cd kvm-unit-tests;                                                 \
	./configure $(KUT_X86_64_CONFIG_PARAMS);                           \
	make $(SILENTOPT)

litmus-x86_64-run:: litmus-cata-x86_64-test-kvm
litmus-cata-x86_64-test-kvm: litmus-x86_64-dep
	mkdir $(KUT_DIR)/kvm-unit-tests/t
	$(LITMUS)                                       \
                  -set-libdir $(PWD)/litmus/libdir      \
                  -mach kvm-x86_64                      \
                  -s 1k -r 50 -driver C -a 4            \
                  -outnames $(KUT_DIR)/names.txt        \
                  -o $(KUT_DIR)/kvm-unit-tests/t        \
                  catalogue/x86_64/tests/@all
	cd $(KUT_DIR)/kvm-unit-tests/t; make $(SILENTOPT) -j $(J)
	if $(RUN_TESTS); then                                \
           ( cd $(KUT_DIR)/kvm-unit-tests && sh t/run.sh ) | \
           $(CHECK_OBS) -verbose $(KUT_DIR)/names.txt;       \
        fi
	$(RM) -rf $(KUT_DIR)
	@ echo "litmus7 in -mode kvm catalogue x86_64 tests: OK"