diff options
| author | Loïc Hoguin <[email protected]> | 2024-11-15 11:17:13 +0100 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2024-11-15 11:17:13 +0100 |
| commit | 9323fa206244d306ec1038bbc1108396125e28b3 (patch) | |
| tree | bb7d4d441fa8dba5ebe94d059166a3d263f865af /test | |
| parent | 49213b7463fafbdd6d1d6b68066b901bd62a1ad0 (diff) | |
| download | erlang.mk-9323fa206244d306ec1038bbc1108396125e28b3.tar.gz erlang.mk-9323fa206244d306ec1038bbc1108396125e28b3.tar.bz2 erlang.mk-9323fa206244d306ec1038bbc1108396125e28b3.zip | |
CI: Run Dialyzer tests in parallel jobs
Diffstat (limited to 'test')
| -rw-r--r-- | test/plugin_dialyzer.mk | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/test/plugin_dialyzer.mk b/test/plugin_dialyzer.mk index 4e0557c..eca80a2 100644 --- a/test/plugin_dialyzer.mk +++ b/test/plugin_dialyzer.mk @@ -2,6 +2,19 @@ dialyzer_TARGETS = $(call list_targets,dialyzer) +dialyzer_TARGETS_SET_1 = dialyzer-app dialyzer-apps-only dialyzer-apps-with-local-deps +dialyzer_TARGETS_SET_2 = dialyzer-beam dialyzer-check dialyzer-custom-plt dialyzer-deps +dialyzer_TARGETS_SET_3 = dialyzer-erlc-opts dialyzer-local-deps dialyzer-opts dialyzer-plt-apps +dialyzer_TARGETS_SET_4 = dialyzer-plt-ebin-only dialyzer-plt-swallow-warnings dialyzer-pt + +ifneq ($(filter-out $(dialyzer_TARGETS_SET_1) $(dialyzer_TARGETS_SET_2) $(dialyzer_TARGETS_SET_3) $(dialyzer_TARGETS_SET_4),$(dialyzer_TARGETS)),) +$(error Dialyzer target missing from dialyzer_TARGETS_SET_* variables.) +endif + +ifdef SET +dialyzer_TARGETS := $(dialyzer_TARGETS_SET_$(SET)) +endif + ifneq ($(shell which sem 2>/dev/null),) DIALYZER_MUTEX = sem --fg --id dialyzer endif |