[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