From 7878d954c1c050b0111155813c65ef3b2842425a Mon Sep 17 00:00:00 2001 From: Scott Lystig Fritchie Date: Sat, 30 Aug 2014 22:08:48 +0900 Subject: [PATCH] Add dialyzer targets to Makefile ... time to get type serious --- prototype/tango-prototype/Makefile | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/prototype/tango-prototype/Makefile b/prototype/tango-prototype/Makefile index c3bdbe5..e9951ac 100644 --- a/prototype/tango-prototype/Makefile +++ b/prototype/tango-prototype/Makefile @@ -24,3 +24,16 @@ eunit: pulse: compile env USE_PULSE=1 $(REBAR_BIN) skip_deps=true clean compile env USE_PULSE=1 $(REBAR_BIN) skip_deps=true -D PULSE eunit + +APPS = kernel stdlib sasl erts ssl tools os_mon runtime_tools crypto inets \ + xmerl webtool snmp public_key mnesia eunit syntax_tools compiler +PLT = $(HOME)/.dbms_dialyzer_plt + +build_plt: deps compile + dialyzer --build_plt --output_plt $(PLT) --apps $(APPS) deps/*/ebin + +dialyzer: deps compile + dialyzer -Wno_return --plt $(PLT) ebin + +clean_plt: + rm $(PLT)