R11B-0 dialyzer internal error

[Roger Larsson]

On Thursday 22 June 2006 16:12, Roger Larsson wrote:
> Patches did not help, I guess they wont hurt either...
>
> On Thursday 22 June 2006 15:47, Kostis Sagonas wrote:
> >  > ...
> >  > {badmatch,{error,
> >  > {file_error,"/usr/local/lib/erlang/lib/dialyzer-1.4.1/plt/dialyzer_ini
> >  >t_ plt", eacces}}}
> >
> > Looks like you do not have the proper permissions on this file.
> > Either compile and install as root, or change its permissions
> > manually.
>
> I saw that too..
>
> File has access:
> -rw-r--r-- 1 root root 1380740 2006-06-22
> 			 15:36 /usr/local/lib/erlang/lib/dialyzer-1.4.1/plt/dialyzer_init_plt
>
> Hmm... I guess dialyzer wants to write to this file?
>
> I compiled erlang as myself, then changed to root for
>
> > make install
>

A dialyze run as root fixes the problem.

> Should an initial dialyzer run be made in the "make install"?

Should it?

/RogerL