Closed GoogleCodeExporter closed 8 years ago
Line 70 sets the variable DIALYZER_PLT_LIBS, which is only used to
create a plt, which is used by the Erlang type checker dialyzer.
Probably some of the modules that Scalaris uses refer themselves to
some types declared in mnesia source files, so these are included
in the type database that dialyzer builds once, if it not exists
yet or is outdated (the plt).
We provide the building of a proper plt via the Makefile for convenience,
in principle it has nothing to do with Scalaris itself.
Original comment by schin...@gmail.com
on 6 Feb 2013 at 8:18
Thank you for your informative answer.
Original comment by adrp...@gmail.com
on 6 Feb 2013 at 4:28
Original issue reported on code.google.com by
adrp...@gmail.com
on 5 Feb 2013 at 1:10