R11B-0 dialyzer internal error

[Roger Larsson]

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_init_
>  >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

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

/RogerL