[erlang-questions] Multiple dialyzer PLTs?

Michael Radford mrad-direct-erlang@REDACTED
Thu Jan 22 20:24:32 CET 2009


I'm wondering how difficult (or even possible) it would be for dialyzer
to support either reading multiple PLT files at startup, or a way to
merge multiple PLT files that were produced separately.

We make debian packages containing compiled .beam files, and it would be
great if these could ship with corresponding PLT files for people
compiling other packages that depend on them.

Currently it takes about half an hour just to build a PLT for kernel,
stdlib, and mnesia, so we're shipping a prebuilt PLT for those in a
package.  But that means lots of unknown functions and missed checks
when compiling an application that has lots of other dependencies.

I'd be grateful for any other suggestions on how to achieve this too.
The next best thing seems to be using --add_to_plt and --output_plt to
build incrementally, but we'd prefer a more packaging-friendly approach
that doesn't make everyone wait for the same analysis over and over.

Thanks,

Mike



More information about the erlang-questions mailing list