[erlang-questions] dialyzer in R11B-4

Kostis Sagonas kostis@REDACTED
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 "===" ;                                    \

touch lib/dialyzer/SKIP


More information about the erlang-questions mailing list