[erlang-questions] default dialyzer plt file

18 views
Skip to first unread message

Gina Hagg

unread,
May 18, 2010, 8:58:10 PM5/18/10
to erlang-q...@erlang.org
Can i transfer my default dialyzer.plt file from my local machine to another
machine using the same erlang lib version, or do i have to build one for
each machine locally.

--
You received this message because you are subscribed to the Google Groups "Erlang Programming" group.
To post to this group, send email to erlang-pr...@googlegroups.com.
To unsubscribe from this group, send email to erlang-programm...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/erlang-programming?hl=en.

Kostis Sagonas

unread,
May 19, 2010, 2:33:59 AM5/19/10
to Gina Hagg, erlang-q...@erlang.org
Gina Hagg wrote:
> Can i transfer my default dialyzer.plt file from my local machine to another
> machine using the same erlang lib version, or do i have to build one for
> each machine locally.

The answer is that you can transfer a PLT file between machines, but to
get any benefits the two machines have to have identical configurations.

Dialyzer checks the consistency of the information in the PLT against
the files that were used to create the PLT. If this information is not
up-to-date, the PLT needs to be rebuilt. To perform this check, these
files have to be in exactly the same place in both machines (they have
to have the same filenames) and have the same checksums.

Kostis

________________________________________________________________
erlang-questions (at) erlang.org mailing list.
See http://www.erlang.org/faq.html
To unsubscribe; mailto:erlang-questio...@erlang.org
Reply all
Reply to author
Forward
0 new messages