<br>Dialyzer crashed while I was trying to build OTP R11B-4 on my ubuntu box.<br><br>I tried running ./configure ... --disable-dialyzer<br><br>This led to the following crash:<br><br>if test -f lib/dialyzer/SKIP ; then                     \
<br>                echo "=== Skipping dialyzer, reason:" ;         \<br>                cat lib/dialyzer/SKIP ;                         \<br>                echo "===" ;                                    \
<br>        else                                                    \<br>                cd lib/dialyzer &&                              \<br>                ERL_TOP=/home/uwiger/lib/otp/otp_src_R11B-4 PATH=/home/uwiger/lib/otp/otp_src_R11B-4/bootstrap/bin:${PATH}  \
<br>                        make opt BUILD_ALL=true ;               \<br>        fi<br>make[1]: Entering directory `/home/uwiger/lib/otp/otp_src_R11B-4/lib/dialyzer'<br>=== Entering application dialyzer<br>make[2]: Entering directory `/home/uwiger/lib/otp/otp_src_R11B-4/lib/dialyzer/src'
<br>Dialyzer will now build auxiliary information needed for subsequent analyses...<br>A PLT for following libs will be built:<br>  [kernel,mnesia,stdlib]<br>To select a different set please edit the file /home/uwiger/lib/otp/otp_src_R11B-4/lib/dialyzer/src/Makefile
<br>/home/uwiger/lib/otp/otp_src_R11B-4/bin/dialyzer --check_init_plt<br>{"init terminating in do_boot",{undef,[{dialyzer,plain_cl,[]},{init,start_it,1},{init,start_em,1}]}}<br><br>Crash dump was written to: erl_crash.dump
<br>init terminating in do_boot ()<br>make[2]: *** [/home/uwiger/lib/otp/otp_src_R11B-4/lib/dialyzer/plt/dialyzer_init_plt] Error 1<br>make[2]: Leaving directory `/home/uwiger/lib/otp/otp_src_R11B-4/lib/dialyzer/src'<br>
make[2]: Entering directory `/home/uwiger/lib/otp/otp_src_R11B-4/lib/dialyzer/doc/src'<br>make[2]: Nothing to be done for `opt'.<br>make[2]: Leaving directory `/home/uwiger/lib/otp/otp_src_R11B-4/lib/dialyzer/doc/src'
<br>=== Leaving application dialyzer<br>make[1]: Leaving directory `/home/uwiger/lib/otp/otp_src_R11B-4/lib/dialyzer'<br><br>The 'undef' error actually looks the same if I don't disable dialyzer, but I would have
<br>thought that disabling it meant that it would try to analyze the build! If make <br>doesn't build dialyzer, the chances that it will succeed in analyzing the results<br>seem rather slim.<br><br>When it crashed the first time, I verified that the dialyzer modules had in fact
<br>been built, so the crash looks like a path error. I'm using --prefix. Would that<br>matter? Apologies for not doing any deeper analysis myself.<br><br>BR,<br>Ulf W<br>