Skip to content
This repository has been archived by the owner on May 12, 2018. It is now read-only.

Commit

Permalink
Merge pull request #352 from tuncer/rebased-309
Browse files Browse the repository at this point in the history
Add typer target (rebase of #309)
  • Loading branch information
ferd committed Aug 28, 2014
2 parents a467abb + 33b8769 commit 9c1da17
Showing 1 changed file with 29 additions and 2 deletions.
31 changes: 29 additions & 2 deletions Makefile
Expand Up @@ -2,6 +2,9 @@

REBAR=$(PWD)/rebar
RETEST=$(PWD)/deps/retest/retest
OTPVSNCMD='io:fwrite("~s",[rebar_utils:otp_release()]), halt().'
OTPVSN = $(shell erl -pa ebin/ -noshell -eval $(OTPVSNCMD))
PLT_FILENAME=~/.dialyzer_rebar_$(OTPVSN)_plt

all:
./bootstrap
Expand All @@ -13,6 +16,7 @@ clean:
distclean: clean
@rm -f dialyzer_warnings
@rm -rf deps
@rm -f ~/.dialyzer_rebar_*_plt

debug:
@./bootstrap debug
Expand All @@ -22,12 +26,35 @@ check: debug xref dialyzer deps test
xref:
@./rebar xref

build_plt:
-dialyzer --build_plt --output_plt $(PLT_FILENAME) --apps \
erts \
kernel \
stdlib \
crypto \
compiler \
asn1 \
eunit \
tools \
ssl \
edoc \
reltool \
snmp \
sasl
-dialyzer --add_to_plt --output_plt $(PLT_FILENAME) --apps diameter

dialyzer: dialyzer_warnings
@diff -U0 dialyzer_reference dialyzer_warnings

dialyzer_warnings:
-@dialyzer -q -nn -n ebin -Wunmatched_returns -Werror_handling \
-Wrace_conditions > dialyzer_warnings
-@dialyzer --plt $(PLT_FILENAME) -q -nn -n ebin \
-Wunmatched_returns \
-Werror_handling \
-Wrace_conditions \
> dialyzer_warnings

typer:
typer -r --plt $(PLT_FILENAME) ./src -I ./include

binary: VSN = $(shell ./rebar -V)
binary: clean all
Expand Down

0 comments on commit 9c1da17

Please sign in to comment.