123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337 |
- # Dialyzer plugin.
- DIALYZER_TARGETS = $(call list_targets,dialyzer)
- ifneq ($(shell which sem 2>/dev/null),)
- DIALYZER_MUTEX = sem --fg --id dialyzer
- endif
- .PHONY: dialyzer $(DIALYZER_TARGETS)
- dialyzer: $(DIALYZER_TARGETS)
- dialyzer-app: init
- $i
- $t mkdir $(APP)/
- $t cp ../erlang.mk $(APP)/
- $t $(MAKE) -C $(APP) -f erlang.mk bootstrap $v
- $i
- $t $(DIALYZER_MUTEX) $(MAKE) -C $(APP) dialyze $v
- $i
- $t test -f $(APP)/.$(APP).plt
- $i
- $t printf \
- \
- \
- > $(APP)/src/warn_me.erl
- $i
- $t ! $(DIALYZER_MUTEX) $(MAKE) -C $(APP) dialyze $v
- $i
- $t $(MAKE) -C $(APP) distclean $v
- $i
- $t test ! -e $(APP)/.$(APP).plt
- dialyzer-apps-only: init
- $i
- $t mkdir $(APP)/
- $t cp ../erlang.mk $(APP)/
- $t echo > $(APP)/Makefile
- $i
- $t $(MAKE) -C $(APP) new-app in=my_app $v
- $i
- $t $(MAKE) -C $(APP) new t=gen_server n=my_server in=my_app $v
- $i
- $t perl -ni.bak -e 'print;if ($$.==1) {print "DEPS = cowlib\n"}' $(APP)/apps/my_app/Makefile
- $i
- $t $(DIALYZER_MUTEX) $(MAKE) -C $(APP) dialyze $v
- $i
- $t test -f $(APP)/.$(APP).plt
- $i
- $t dialyzer --plt_info --plt $(APP)/.$(APP).plt | grep -q cowlib
- $i
- $t printf \
- \
- \
- > $(APP)/apps/my_app/src/warn_me.erl
- $i
- $t ! $(DIALYZER_MUTEX) $(MAKE) -C $(APP) dialyze $v
- dialyzer-apps-with-local-deps: init
- $i
- $t mkdir $(APP)/
- $t cp ../erlang.mk $(APP)/
- $t echo > $(APP)/Makefile
- $i
- $t $(MAKE) -C $(APP) new-app in=my_app $v
- $i
- $t $(MAKE) -C $(APP) new-app in=my_core_app $v
- $i
- $t perl -ni.bak -e 'print;if ($$.==1) {print "LOCAL_DEPS = my_core_app\n"}' $(APP)/apps/my_app/Makefile
- $i
- $t $(DIALYZER_MUTEX) $(MAKE) -C $(APP) dialyze $v
- $i
- $t test -f $(APP)/.$(APP).plt
- $i
- $t ! dialyzer --plt_info --plt $(APP)/.$(APP).plt | grep -q my_core_app
- dialyzer-beam: init
- $i
- $t mkdir $(APP)/
- $t cp ../erlang.mk $(APP)/
- $t $(MAKE) -C $(APP) -f erlang.mk bootstrap $v
- $i
- $t perl -ni.bak -e 'print;if ($$.==1) {print "DEPS = lager\n"}' $(APP)/Makefile
- $i
- $t echo >> $(APP)/Makefile
- $i
- $t perl -ni.bak -e 'print;if ($$.==1) {print "DIALYZER_DIRS = -r ebin\n"}' $(APP)/Makefile
- $i
- $t printf \
- \
- \
- Some message\ > $(APP)/src/use_lager.erl
- $i
- $t $(DIALYZER_MUTEX) $(MAKE) -C $(APP) dialyze $v
- $i
- $t $(MAKE) -C $(APP) clean $v
- $i
- $t $(DIALYZER_MUTEX) $(MAKE) -C $(APP) dialyze $v
- dialyzer-check: init
- $i
- $t mkdir $(APP)/
- $t cp ../erlang.mk $(APP)/
- $t $(MAKE) -C $(APP) -f erlang.mk bootstrap $v
- $i
- $t $(DIALYZER_MUTEX) $(MAKE) -C $(APP) check $v
- $i
- $t test -f $(APP)/.$(APP).plt
- $i
- $t printf \
- \
- \
- > $(APP)/src/warn_me.erl
- $i
- $t ! $(DIALYZER_MUTEX) $(MAKE) -C $(APP) check $v
- dialyzer-custom-plt: init
- $i
- $t mkdir $(APP)/
- $t cp ../erlang.mk $(APP)/
- $t $(MAKE) -C $(APP) -f erlang.mk bootstrap $v
- $i
- $t perl -ni.bak -e 'print;if ($$.==1) {print "DIALYZER_PLT = custom.plt\n"}' $(APP)/Makefile
- $i
- $t $(DIALYZER_MUTEX) $(MAKE) -C $(APP) dialyze $v
- $i
- $t test -f $(APP)/custom.plt
- $i
- $t $(MAKE) -C $(APP) distclean $v
- $i
- $t test ! -e $(APP)/custom.plt
- dialyzer-deps: init
- $i
- $t mkdir $(APP)/
- $t cp ../erlang.mk $(APP)/
- $t $(MAKE) -C $(APP) -f erlang.mk bootstrap $v
- $i
- $t perl -ni.bak -e 'print;if ($$.==1) {print "DEPS = cowlib\n"}' $(APP)/Makefile
- $i
- $t $(DIALYZER_MUTEX) $(MAKE) -C $(APP) dialyze $v
- $i
- $t test -f $(APP)/.$(APP).plt
- $i
- $t dialyzer --plt_info --plt $(APP)/.$(APP).plt | grep -q cowlib
- dialyzer-erlc-opts: init
- $i
- $t mkdir $(APP)/
- $t cp ../erlang.mk $(APP)/
- $t $(MAKE) -C $(APP) -f erlang.mk bootstrap $v
- $i
- $t mkdir $(APP)/exotic-include-path/
- $t touch $(APP)/exotic-include-path/dialyze.hrl
- $i
- $t printf \
- \
- \
- dialyze.hrl\ \
- > $(APP)/src/no_warn.erl
- $i
- $t perl -ni.bak -e 'print;if ($$.==1) {print "ERLC_OPTS += -I exotic-include-path -DOK=ok\n"}' $(APP)/Makefile
- $i
- $t $(DIALYZER_MUTEX) $(MAKE) -C $(APP) dialyze $v
- dialyzer-local-deps: init
- $i
- $t mkdir $(APP)/
- $t cp ../erlang.mk $(APP)/
- $t $(MAKE) -C $(APP) -f erlang.mk bootstrap $v
- $i
- $t perl -ni.bak -e 'print;if ($$.==1) {print "LOCAL_DEPS = runtime_tools\n"}' $(APP)/Makefile
- $i
- $t $(DIALYZER_MUTEX) $(MAKE) -C $(APP) plt $v
- $i
- $t dialyzer --plt_info --plt $(APP)/.$(APP).plt | grep -q runtime_tools
- dialyzer-opts: init
- $i
- $t mkdir $(APP)/
- $t cp ../erlang.mk $(APP)/
- $t $(MAKE) -C $(APP) -f erlang.mk bootstrap $v
- $i
- $t perl -ni.bak -e 'print;if ($$.==1) {print "DIALYZER_OPTS = -o output.txt\n"}' $(APP)/Makefile
- $i
- $t printf \
- \
- \
- > $(APP)/src/warn_me.erl
- $i
- $t ! $(DIALYZER_MUTEX) $(MAKE) -C $(APP) dialyze $v
- $i
- $t test -f $(APP)/.$(APP).plt
- $i
- $t test -f $(APP)/output.txt
- dialyzer-plt-apps: init
- $i
- $t mkdir $(APP)/
- $t cp ../erlang.mk $(APP)/
- $t $(MAKE) -C $(APP) -f erlang.mk bootstrap $v
- $i
- $t perl -ni.bak -e 'print;if ($$.==1) {print "PLT_APPS = runtime_tools\n"}' $(APP)/Makefile
- $i
- $t $(DIALYZER_MUTEX) $(MAKE) -C $(APP) plt $v
- $i
- $t dialyzer --plt_info --plt $(APP)/.$(APP).plt | grep -q runtime_tools
- dialyzer-plt-ebin-only: init
- $i
- $t mkdir $(APP)/
- $t cp ../erlang.mk $(APP)/
- $t $(MAKE) -C $(APP) -f erlang.mk bootstrap $v
- $i
- $t perl -ni.bak -e 'print;if ($$.==1) {print "DEPS = cowlib\ndep_cowlib_commit = master\n"}' $(APP)/Makefile
- $i
- $t $(MAKE) -C $(APP) $v
- $i
- $t $(MAKE) -C $(APP)/deps/cowlib test-build $v
- $i
- $t $(DIALYZER_MUTEX) $(MAKE) -C $(APP) dialyze $v
- $i
- $t test -f $(APP)/.$(APP).plt
- $i
- $t dialyzer --plt_info --plt $(APP)/.$(APP).plt | grep -q cowlib
- $i
- $t ! dialyzer --plt_info --plt $(APP)/.$(APP).plt | grep -q rebar
- dialyzer-plt-swallow-warnings: init
- $i
- $t mkdir $(APP)/
- $t cp ../erlang.mk $(APP)/
- $t $(MAKE) -C $(APP) -f erlang.mk bootstrap $v
- $i
- $t perl -ni.bak -e 'print;if ($$.==1) {print "DEPS = lfe\ndep_lfe_commit = d656987dc5f5e08306531ad1ce13bf9ca9ec9e5a\n"}' $(APP)/Makefile
- $i
- $t $(DIALYZER_MUTEX) $(MAKE) -C $(APP) plt $v
- dialyzer-pt: init
- $i
- $t mkdir $(APP)/
- $t cp ../erlang.mk $(APP)/
- $t $(MAKE) -C $(APP) -f erlang.mk bootstrap-lib $v
- $i
- $t printf \
- \
- \
- \
- # Running my_pt parse_transform.~n\ \
- > $(APP)/src/my_pt.erl
- $i
- $t printf \
- \
- > $(APP)/src/my_user.erl
- $i
- $t $(DIALYZER_MUTEX) $(MAKE) -C $(APP) dialyze $v
|