[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 &&                              \
                ERL_TOP=/home/uwiger/lib/otp/otp_src_R11B-4
PATH=/home/uwiger/lib/otp/otp_src_R11B-4/bootstrap/bin:${PATH}  \
                        make opt BUILD_ALL=true ;               \
        fi
make[1]: Entering directory
`/home/uwiger/lib/otp/otp_src_R11B-4/lib/dialyzer'
=== Entering application dialyzer
make[2]: Entering directory
`/home/uwiger/lib/otp/otp_src_R11B-4/lib/dialyzer/src'
Dialyzer will now build auxiliary information needed for subsequent
analyses...
A PLT for following libs will be built:
  [kernel,mnesia,stdlib]
To select a different set please edit the file
/home/uwiger/lib/otp/otp_src_R11B-4/lib/dialyzer/src/Makefile
/home/uwiger/lib/otp/otp_src_R11B-4/bin/dialyzer --check_init_plt
{"init terminating in
do_boot",{undef,[{dialyzer,plain_cl,[]},{init,start_it,1},{init,start_em,1}]}}

Crash dump was written to: erl_crash.dump
init terminating in do_boot ()
make[2]: ***
[/home/uwiger/lib/otp/otp_src_R11B-4/lib/dialyzer/plt/dialyzer_init_plt]
Error 1
make[2]: Leaving directory
`/home/uwiger/lib/otp/otp_src_R11B-4/lib/dialyzer/src'
make[2]: Entering directory
`/home/uwiger/lib/otp/otp_src_R11B-4/lib/dialyzer/doc/src'
make[2]: Nothing to be done for `opt'.
make[2]: Leaving directory
`/home/uwiger/lib/otp/otp_src_R11B-4/lib/dialyzer/doc/src'
=== Leaving application dialyzer
make[1]: Leaving directory
`/home/uwiger/lib/otp/otp_src_R11B-4/lib/dialyzer'

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
make
doesn't build dialyzer, the chances that it will succeed in analyzing the
results
seem rather slim.

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

BR,
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