Added a Rake task for running dialyzer
This commit is contained in:
parent
d6cc338707
commit
f7b1b51872
9
Rakefile
9
Rakefile
|
@ -21,3 +21,12 @@ task :package do
|
||||||
Dir.mkdir "#{target_dir}/priv/bin"
|
Dir.mkdir "#{target_dir}/priv/bin"
|
||||||
FileUtils.cp_r Dir.glob('c_src/system/bin/*'), "#{target_dir}/priv/bin", :verbose => false
|
FileUtils.cp_r Dir.glob('c_src/system/bin/*'), "#{target_dir}/priv/bin", :verbose => false
|
||||||
end
|
end
|
||||||
|
|
||||||
|
task :dialyzer do
|
||||||
|
sh "dialyzer -Iinclude -c ebin/bdberl.beam\
|
||||||
|
-Werror_handling\
|
||||||
|
-Wunmatched_returns\
|
||||||
|
-Wunderspecs\
|
||||||
|
-Woverspecs\
|
||||||
|
-Wspecdiffs | tee dialyzer.log"
|
||||||
|
end
|
||||||
|
|
Loading…
Reference in a new issue