Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP

Loading…

Fixes to get dialyzer working. #54

Merged
merged 4 commits into from

3 participants

@cmeiklejohn
Collaborator

No description provided.

@cmeiklejohn
Collaborator
@cmeiklejohn
Collaborator

@seancribbs hook a brotha' up :)

@seancribbs

My only comment is that you should include deps/*/ebin somewhere, either in the PLT or the analysis.

@seancribbs

Otherwise, :+1: :shipit:

@jj1bdx

Looks like it's OK. +1 :+1:

@cmeiklejohn
Collaborator

Pushed a commit addressing the issue above. Merging.

@cmeiklejohn cmeiklejohn merged commit f2bcceb into master
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
This page is out of date. Refresh to see the latest.
Showing with 38 additions and 1 deletion.
  1. +35 −1 Makefile
  2. BIN  rebar
  3. +3 −0  rebar.config
View
36 Makefile
@@ -2,7 +2,7 @@
all: deps compile
-compile:
+compile: deps
@./rebar compile
app:
@@ -19,3 +19,37 @@ 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) \
+ deps/*/ebin
+
+build_plt: compile
+ dialyzer --build_plt --output_plt $(PLT) --apps $(APPS) \
+ deps/*/ebin
+
+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
BIN  rebar
Binary file not shown
View
3  rebar.config
@@ -4,6 +4,9 @@
{edoc_opts, [{preprocess, true}]}.
+{erlydtl_opts, [
+ {compiler_options, [report, return, debug_info]}]}.
+
{cover_enabled, true}.
{deps, [
Something went wrong with that request. Please try again.