[erlang-questions] dialyzer in R11B-4

Kostis Sagonas <>
Wed Apr 25 12:50:36 CEST 2007


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



More information about the erlang-questions mailing list