File: Makefile.x86_64

package info (click to toggle)
herdtools7 7.58-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 19,732 kB
  • sloc: ml: 128,583; ansic: 3,827; makefile: 670; python: 407; sh: 212; awk: 14
file content (41 lines) | stat: -rw-r--r-- 1,810 bytes parent folder | download
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
X86_64_PREFIX ?= x86_64-linux-gnu-

litmus-x86_64-test:: 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 catalogue/x86_64/tests/@all -o $(TEMP_DIR)
	make $(SILENTOPT) -C $(TEMP_DIR) -j $(J)
	if $(RUN_TESTS); then ( cd $(TEMP_DIR) && sh ./run.sh ); fi
	$(RM) -rf $(TEMP_DIR)
	@ echo "litmus7 in -mode std catalogue x86_64 tests: OK"

litmus-x86_64-test:: 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 catalogue/x86_64/tests/@all -o $(TEMP_DIR)
	make $(SILENTOPT) -C $(TEMP_DIR) -j $(J)
	if $(RUN_TESTS); then ( cd $(TEMP_DIR) && ./run.exe ); 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-test:: 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 catalogue/x86_64/tests/@all -o $(KUT_DIR)/kvm-unit-tests/t
	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 ); fi
	$(RM) -rf $(KUT_DIR)
	@ echo "litmus7 in -mode kvm catalogue x86_64 tests: OK"


litmus-test:: litmus-x86_64-test