[erlang-questions] dialyzer in R11B-4
Ulf Wiger (TN/EAB)
Wed Apr 25 14:03:09 CEST 2007
Hmm, that's what happens when you're too much
in a hurry...
That method worked much better, thanks.
I'll try to get back to figuring out why
Dialyzer crashed in the first place
(the reason why I tried to disable it.)
> -----Original Message-----
> [mailto:] On Behalf Of
> Kostis Sagonas
> Sent: den 25 april 2007 12:51
> To: Ulf Wiger
> Cc: Erlang
> Subject: Re: [erlang-questions] dialyzer in R11B-4
> Ulf Wiger wrote:
> > Dialyzer crashed while I was trying to build OTP R11B-4 on
> my ubuntu box.
> > I tried running ./configure ... --disable-dialyzer
> What made you think there is a --disable-dialyzer option?
> It is not listed if you do ./configure --help and AFAIK there
> is no such configure option.
> If you want to do this, the following lines actually suggest how:
> > This led to the following crash:
> > if test -f lib/dialyzer/SKIP ; then \
> > echo "=== Skipping dialyzer, reason:" ; \
> > cat lib/dialyzer/SKIP ; \
> > echo "===" ; \
> touch lib/dialyzer/SKIP
> erlang-questions mailing list
More information about the erlang-questions