Permalink
Browse files

Fixes to get dialyzer working.

  • Loading branch information...
1 parent 8b377b9 commit 60656cef0ed85b0fb21fcba950278df841669db7 @cmeiklejohn cmeiklejohn committed Feb 10, 2013
Showing with 35 additions and 0 deletions.
  1. +32 −0 Makefile
  2. +3 −0 rebar.config
View
@@ -19,3 +19,35 @@ distclean: clean
test: all
@./rebar skip_deps=true eunit
+
+##
+## Doc targets
+##
+docs:
+ ./rebar skip_deps=true doc
+
+APPS = kernel stdlib sasl erts ssl tools os_mon runtime_tools crypto inets \
+ xmerl webtool eunit syntax_tools compiler
+PLT = $(HOME)/.riak_control_dialyzer_plt
+
+check_plt: compile
+ dialyzer --check_plt --plt $(PLT) --apps $(APPS)
+
+build_plt: compile
+ dialyzer --build_plt --output_plt $(PLT) --apps $(APPS)
+
+dialyzer: compile
+ @echo
+ @echo Use "'make check_plt'" to check PLT prior to using this target.
+ @echo Use "'make build_plt'" to build PLT prior to using this target.
+ @echo
+ @sleep 1
+ dialyzer -Wno_return -Wunmatched_returns --plt $(PLT) ebin
+
+cleanplt:
+ @echo
+ @echo "Are you sure? It takes about 1/2 hour to re-build."
+ @echo Deleting $(PLT) in 5 seconds.
+ @echo
+ sleep 5
+ rm $(PLT)
View
@@ -4,6 +4,9 @@
{edoc_opts, [{preprocess, true}]}.
+{erlydtl_opts, [
+ {compiler_options, [report, return, debug_info]}]}.
+
{cover_enabled, true}.
{deps, [

0 comments on commit 60656ce

Please sign in to comment.