diff options
author | Tuncer Ayaz <tuncer.ayaz@gmail.com> | 2015-02-27 23:17:24 +0100 |
---|---|---|
committer | Tuncer Ayaz <tuncer.ayaz@gmail.com> | 2015-05-22 09:53:09 +0200 |
commit | 850a8a3dcedaf400a2e9d1afa67c80ebfd370a60 (patch) | |
tree | 6946f22c5f109b07d1be60aa07b44d80f28b0df4 /.gitignore | |
parent | 094b74e488291156cda8d12fffa6f62750d44f47 (diff) | |
download | rebar-850a8a3dcedaf400a2e9d1afa67c80ebfd370a60.tar.gz |
Add Dialyzer plugin
Build project-specific PLT
$ rebar build-plt
Check the PLT for consistency and rebuild it if it is not up-to-date
$ rebar check-plt
Analyze the code for discrepancies
$ rebar dialyze
Delete project-specific PLT
$ rebar delete-plt
Valid rebar.config options:
%% Store PLT in ~/.rebar/plt (Default)
{dialyzer_plt_location,shared}
%% Store PLT locally inside the project in .rebar
{dialyzer_plt_location,local}
%% Store PLT in custom directory
{dialyzer_plt_location,"custom_path"}
{dialyzer_plt_extra_apps,[app1,app2]}
{dialyzer_warnings,[unmatched_returns,error_handling]}
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -4,7 +4,6 @@ *.orig .*.swp /rt.work -/dialyzer_warnings /rebar.cmd /.eunit /deps |