[erlang-questions] dialyzer in R11B-4

Ulf Wiger ulf@REDACTED
Wed Apr 25 12:28:49 CEST 2007

Dialyzer crashed while I was trying to build OTP R11B-4 on my ubuntu box.

I tried running ./configure ... --disable-dialyzer

This led to the following crash:

if test -f lib/dialyzer/SKIP ; then                     \
                echo "=== Skipping dialyzer, reason:" ;         \
                cat lib/dialyzer/SKIP ;                         \
                echo "===" ;                                    \
        else                                                    \
                cd lib/dialyzer &&                              \
PATH=/home/uwiger/lib/otp/otp_src_R11B-4/bootstrap/bin:${PATH}  \
                        make opt BUILD_ALL=true ;               \
make[1]: Entering directory
=== Entering application dialyzer
make[2]: Entering directory
Dialyzer will now build auxiliary information needed for subsequent
A PLT for following libs will be built:
To select a different set please edit the file
/home/uwiger/lib/otp/otp_src_R11B-4/bin/dialyzer --check_init_plt
{"init terminating in

Crash dump was written to: erl_crash.dump
init terminating in do_boot ()
make[2]: ***
Error 1
make[2]: Leaving directory
make[2]: Entering directory
make[2]: Nothing to be done for `opt'.
make[2]: Leaving directory
=== Leaving application dialyzer
make[1]: Leaving directory

The 'undef' error actually looks the same if I don't disable dialyzer, but I
would have
thought that disabling it meant that it would try to analyze the build! If
doesn't build dialyzer, the chances that it will succeed in analyzing the
seem rather slim.

When it crashed the first time, I verified that the dialyzer modules had in
been built, so the crash looks like a path error. I'm using --prefix. Would
matter? Apologies for not doing any deeper analysis myself.

Ulf W
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20070425/58c19e74/attachment.htm>

More information about the erlang-questions mailing list