diff options
| -rw-r--r-- | .github/workflows/ci.yaml | 5 | ||||
| -rw-r--r-- | test/plugin_dialyzer.mk | 13 |
2 files changed, 17 insertions, 1 deletions
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 572ac88..b83a0fa 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -41,7 +41,10 @@ jobs: - cover - c-src - ct - - dialyzer + - dialyzer SET=1 + - dialyzer SET=2 + - dialyzer SET=3 + - dialyzer SET=4 - edoc - erlydtl - escript 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 |