R11B-0 dialyzer internal error

[Tobias Lindahl]

During the make Dialyzer builds the dialyzer_init_plt. It also records a 
md5-sum of the included files. A make install moves files around, but 
this should not really change anything. Dialyzer should not have to 
write to the dialyzer_init_plt unless some of the analyzed files are 
changed, so there should be no reason for it to write to the plt just 
because of a make install.

I will have a look at what is happening. I guess I really have to do a 
make install at some point anyway...

Tobias

Fredrik Thulin wrote:
> On Thursday 22 June 2006 22:53, Roger Larsson wrote:
> ...
> 
>>A dialyze run as root fixes the problem.
>>
>>
>>>Should an initial dialyzer run be made in the "make install"?
>>
>>Should it?
> 
> 
> Yes, I think it should - or the path to the PLT should include $HOME.
> 
> /Fredrik