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
|
# Copyright (c) 2020, Loïc Hoguin <[email protected]>
# This file is part of erlang.mk and subject to the terms of the ISC License.
ifdef CONCUERROR_TESTS
.PHONY: concuerror distclean-concuerror
# Configuration
CONCUERROR_LOGS_DIR ?= $(CURDIR)/logs
CONCUERROR_OPTS ?=
# Core targets.
check:: concuerror
ifndef KEEP_LOGS
distclean:: distclean-concuerror
endif
# Plugin-specific targets.
$(ERLANG_MK_TMP)/Concuerror/bin/concuerror: | $(ERLANG_MK_TMP)
$(verbose) git clone https://github.com/parapluu/Concuerror $(ERLANG_MK_TMP)/Concuerror
$(verbose) $(MAKE) -C $(ERLANG_MK_TMP)/Concuerror
$(CONCUERROR_LOGS_DIR):
$(verbose) mkdir -p $(CONCUERROR_LOGS_DIR)
define concuerror_html_report
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8">
<title>Concuerror HTML report</title>
</head>
<body>
<h1>Concuerror HTML report</h1>
<p>Generated on $(concuerror_date)</p>
<ul>
$(foreach t,$(concuerror_targets),<li><a href="$(t).txt">$(t)</a></li>)
</ul>
</body>
</html>
endef
concuerror: $(addprefix concuerror-,$(subst :,-,$(CONCUERROR_TESTS)))
$(eval concuerror_date := $(shell date))
$(eval concuerror_targets := $^)
$(verbose) $(call core_render,concuerror_html_report,$(CONCUERROR_LOGS_DIR)/concuerror.html)
define concuerror_target
.PHONY: concuerror-$1-$2
concuerror-$1-$2: test-build | $(ERLANG_MK_TMP)/Concuerror/bin/concuerror $(CONCUERROR_LOGS_DIR)
$(ERLANG_MK_TMP)/Concuerror/bin/concuerror \
--pa $(CURDIR)/ebin --pa $(TEST_DIR) \
-o $(CONCUERROR_LOGS_DIR)/concuerror-$1-$2.txt \
$$(CONCUERROR_OPTS) -m $1 -t $2
endef
$(foreach test,$(CONCUERROR_TESTS),$(eval $(call concuerror_target,$(firstword $(subst :, ,$(test))),$(lastword $(subst :, ,$(test))))))
distclean-concuerror:
$(gen_verbose) rm -rf $(CONCUERROR_LOGS_DIR)
endif
|
