diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/plugin_dialyzer.mk | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/test/plugin_dialyzer.mk b/test/plugin_dialyzer.mk index c0229eb..a487fae 100644 --- a/test/plugin_dialyzer.mk +++ b/test/plugin_dialyzer.mk @@ -6,7 +6,7 @@ ifneq ($(shell which sem 2>/dev/null),) DIALYZER_MUTEX = sem --fg --id dialyzer endif -.PHONY: dialyzer $(C_SRC_TARGETS) +.PHONY: dialyzer $(DIALYZER_TARGETS) dialyzer: $(DIALYZER_TARGETS) @@ -109,7 +109,7 @@ dialyzer-beam: build clean $t echo "ERLC_OPTS += +'{parse_transform, lager_transform}'" >> $(APP)/Makefile $i "Make Dialyzer use the beam files" - $t echo "DIALYZER_DIRS = -r ebin" >> $(APP)/Makefile + $t perl -ni.bak -e 'print;if ($$.==1) {print "DIALYZER_DIRS = -r ebin\n"}' $(APP)/Makefile $i "Create a module that calls lager" $t printf "%s\n" \ @@ -120,6 +120,12 @@ dialyzer-beam: build clean $i "Run Dialyzer" $t $(DIALYZER_MUTEX) $(MAKE) -C $(APP) dialyze $v + $i "Clean the application" + $t $(MAKE) -C $(APP) clean $v + + $i "Run Dialyzer again using the produced PLT file" + $t $(DIALYZER_MUTEX) $(MAKE) -C $(APP) dialyze $v + dialyzer-check: build clean $i "Bootstrap a new OTP application named $(APP)" |