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)