Permalink
Browse files

Add dialyzer makefile targets.

  • Loading branch information...
seancribbs committed Mar 7, 2013
1 parent 9ade643 commit d732191430e359003e4d17bf99459753556c4ba5
Showing with 16 additions and 1 deletion.
  1. +16 −1 Makefile
View
@@ -1,5 +1,5 @@
REBAR=`which rebar || printf ./rebar`
-
+REPO=protobuffs
all: get-deps compile
get-deps:
@@ -18,3 +18,18 @@ test: eunit ct
clean:
@$(REBAR) clean
+
+APPS = kernel stdlib sasl erts ssl tools os_mon runtime_tools crypto inets \
+ xmerl webtool snmp public_key mnesia eunit syntax_tools compiler
+COMBO_PLT = $(HOME)/.$(REPO)_combo_dialyzer_plt
+
+check_plt: compile
+ dialyzer --check_plt --plt $(COMBO_PLT) --apps $(APPS) \
+ ebin
+
+build_plt: compile
+ dialyzer --build_plt --output_plt $(COMBO_PLT) --apps $(APPS) \
+ ebin
+
+dialyzer: compile
+ dialyzer -Wno_return --plt $(COMBO_PLT) ebin

0 comments on commit d732191

Please sign in to comment.