[erlang-questions] beginner: dialyzer for the first time

Bengt Kleberg bengt.kleberg@REDACTED
Thu Sep 15 10:50:13 CEST 2011


Greetings,

When I want to use dialyzer on some Erlang source files for the first
time I do:
dialyzer  --src *erl

This gives me the error:
  Checking whether the PLT /home/<user>/.dialyzer_plt is
up-to-date...dialyzer: exit 1

dialyzer: Could not find the PLT: /home/<user>/.dialyzer_plt
Use the options:
   --build_plt   to build a new PLT; or
   --add_to_plt  to add to an existing PLT


So I try:
dialyzer --build_plt  --src *erl

This gives me the error:
dialyzer: {dialyzer_error,"Byte code compiled with debug_info is needed
to build the PLT"}
[{dialyzer_options,check_output_plt,1},
 {dialyzer_options,postprocess_opts,1},
 {dialyzer_options,build,1},
 {dialyzer_cl_parse,cl,1},
 {dialyzer_cl_parse,start,0},
 {dialyzer,plain_cl,0},
 {init,start_it,1},
 {init,start_em,1}]

dialyzer: exit 1


What should I do next? The goal is to use dialyzer on some Erlang source
files.


bengt




More information about the erlang-questions mailing list