Skip to content

rebar dialyzer plugin - after removed dialyze from rebar I have backported original code made by Dave Smith to using as plugin.

License

Notifications You must be signed in to change notification settings

andrzejsliwa/rebar_dialyzer_plugin

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

14 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Rebar Dialyzer Plugin

After removed dialyze from rebar I have backported original code made by Dave Smith to using as plugin.

Usage (rebar.config):

%% Plugin dependency
{deps, [
	{rebar_dialyzer_plugin, ".*",
	  {git, "https://github.com/andrzejsliwa/rebar_dialyzer_plugin.git", "master"}}
]}.

%% Plugin usage
{rebar_plugins, [rebar_dialyzer_plugin]}.

%% Options for running dialyzer
%% {plt, PltFile}
%% 'src': run Dialyzer on the source files as in 'dialyzer --src'
%% {warnings, [WarnOpts]}: turn on/off Dialyzer warnings
%% {excluded_apps, [ExclApps]}: names of apps excluded
%%   when building PTL
{dialyzer_opts, [{plt, PltFile}, {warnings, [WarnOpts]}, src,
                 {excluded_apps, [ExclApps]}]}.

Usage (rebar):

$ ./rebar dialyze   # analyze with Dialyzer

$ ./rebar build-plt # build Dialyzer PLT

$ ./rebar check-plt # check Dialyzer PLT

About

rebar dialyzer plugin - after removed dialyze from rebar I have backported original code made by Dave Smith to using as plugin.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published