[erlang-questions] dialyzer in R11B-4

Ulf Wiger (TN/EAB) ulf.wiger@REDACTED
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.)

BR,
Ulf W

> -----Original Message-----
> From: erlang-questions-bounces@REDACTED 
> [mailto:erlang-questions-bounces@REDACTED] 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 "===" ;                                    \
> 
> ./configure
> touch lib/dialyzer/SKIP
> make
> 
> 
> Kostis
> _______________________________________________
> erlang-questions mailing list
> erlang-questions@REDACTED
> http://www.erlang.org/mailman/listinfo/erlang-questions
> 




More information about the erlang-questions mailing list