Makefile has an unexpected "mnesia" Dialyzer dependency

[GoogleCodeExporter]

What steps will reproduce the problem?
1. See makefile around line 70 (mentions mnesia for dialyzer)
2. grep -r --exclude-dir '\.*' mnesia .
3. No connection with mnesia in the code

What is the expected output? What do you see instead?
I didn't expect a mnesia reference.

What version of the product are you using? On what operating system?
0.5.0+svn on Linux.

Please provide any additional information below.
Is it a dependency of a dependency of scalaris?
(does scalaris starts/needs mnesia at all?)

Original issue reported on code.google.com by adrp...@gmail.com on 5 Feb 2013 at 1:10

[GoogleCodeExporter]

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

• Changed state: Done
• Added labels: Type-Other
• Removed labels: Type-Defect

[GoogleCodeExporter]

Thank you for your informative answer.

Original comment by adrp...@gmail.com on 6 Feb 2013 at 4:28