MiCHiLUの日記

 | 

2008-07-19

building Persistent Lookup Table (PLT)

22:46

dialyzerで必要なpltファイルを作る。

時間がかかるので、まったりと。

$ dialyzer --build_plt -r $ERL_TOP/lib/kernel/ebin $ERL_TOP/lib/stdlib/ebin $ERL_TOP/lib/mnesia/ebin
  Creating PLT ~/.dialyzer_plt ...
Unknown functions:
  compile:file/2
  compile:forms/2
  compile:noenv_forms/2
  compile:output_generated/1
  crypto:des3_cbc_decrypt/5
  crypto:start/0
 done in 17m50.35s
done (passed successfully)

$ ll ~/.dialyzer_plt
-rw-r--r-- ... 148K ... ~/.dialyzer_plt

$ dialyzer --add_to_plt -r $ERL_TOP/lib/compiler/ebin
  Adding information to ~/.dialyzer_plt...
Unknown functions:
  crypto:des3_cbc_decrypt/5
  crypto:des3_cbc_encrypt/5
  crypto:start/0
  hipe:compile/4
 done in 31m40.63s
done (passed successfully)

$ ll ~/.dialyzer_plt
-rw-r--r-- ... 179K ... ~/.dialyzer_plt

ref: file:///.../lib/dialyzer-1.8.1/doc/html/dialyzer_chapter.html#1.5

NicolaNicola2012/08/24 16:22Always refreshing to hear a rational aswner.

xmjqgansxmjqgans2012/08/27 00:03PizMyw <a href="http://ascrfqjmfeqn.com/">ascrfqjmfeqn</a>

 |