| 12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667 |
- # Copyright (c) 2020, Loïc Hoguin <essen@ninenines.eu>
- # 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
|
