R11B-0 dialyzer internal error

Roger Larsson roger.larsson@REDACTED
Thu Jun 22 16:12:11 CEST 2006

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"?


More information about the erlang-questions mailing list