<br><font size=2 face="sans-serif">Hello Stavros,</font>
<br>
<br><font size=2 face="sans-serif">Thanks again for your answer; indeed
--add_to_plt was the way to go, it then worked like a charm.</font>
<br>
<br><font size=2 face="sans-serif">On a side note, making the PLT for the
full Erlang distro exhibits the following remarks:</font>
<br><font size=2 face="sans-serif">"""</font>
<br><font size=2 face="sans-serif">eunit_test.erl:242: Call to missing
or unexported function eunit_test:nonexisting_function/0</font>
<br><font size=2 face="sans-serif">xrc.erl:124: Call to missing or unexported
function wxXmlResource:reload/2</font>
<br><font size=2 face="sans-serif">Unknown functions:</font>
<br><font size=2 face="sans-serif">  wxWindows:'Destroy'/1</font>
<br><font size=2 face="sans-serif">  wx_core:quit/0</font>
<br><font size=2 face="sans-serif">Unknown types:</font>
<br><font size=2 face="sans-serif">  gen_sctp:assoc_id/0</font>
<br><font size=2 face="sans-serif">  gen_sctp:sctp_socket/0</font>
<br><font size=2 face="sans-serif">"""</font>
<br>
<br><font size=2 face="sans-serif">Thanks again,</font>
<br><font size=2 face="sans-serif">Best regards,</font>
<br><font size=2 face="sans-serif"><br>
Olivier.<br>
---------------------------<br>
Olivier Boudeville<br>
<br>
EDF R&D : 1, avenue du Général de Gaulle, 92140 Clamart, France<br>
Département SINETICS, groupe ASICS (I2A), bureau B-226<br>
Office : +33 1 47 65 59 58 / Mobile : +33 6 16 83 37 22 / Fax : +33 1 47
65 27 13</font>
<br>
<br>
<br>
<table width=100%>
<tr valign=top>
<td width=40%><font size=1 face="sans-serif"><b>aronisstav@gmail.com</b>
</font>
<br><font size=1 face="sans-serif">Envoyé par : erlang-questions-bounces@erlang.org</font>
<p><font size=1 face="sans-serif">29/08/2011 19:43</font>
<table border>
<tr valign=top>
<td bgcolor=white>
<div align=center><font size=1 face="sans-serif">Veuillez répondre à<br>
erlang-programming@googlegroups.com</font></div></table>
<br>
<td width=59%>
<table width=100%>
<tr valign=top>
<td>
<div align=right><font size=1 face="sans-serif">A</font></div>
<td><font size=1 face="sans-serif">erlang-programming@googlegroups.com</font>
<tr valign=top>
<td>
<div align=right><font size=1 face="sans-serif">cc</font></div>
<td><font size=1 face="sans-serif">erlang-questions@erlang.org</font>
<tr valign=top>
<td>
<div align=right><font size=1 face="sans-serif">Objet</font></div>
<td><font size=1 face="sans-serif">Re: [erlang-questions] Dialyzer PLT
& unknown Erlang/OTP functions</font></table>
<br>
<table>
<tr valign=top>
<td>
<td></table>
<br></table>
<br>
<br>
<br><font size=3>This command:</font>
<br>
<br><font size=2 color=#2f2f2f face="sans-serif"> ${prefix}/bin/dialyzer
--plt ${prefix}/Erlang-R14B03.plt  --output_plt ./common.plt  src/utils/basic_utils.beam
 --build_plt</font><font size=3 color=#2f2f2f> </font>
<br>
<br><font size=3 color=#2f2f2f>is wrong. You should not pass the --build_plt
option again, as it will make Dialyzer generate everything from scratch
(ignoring anything within the supplied PLT).</font>
<br>
<br><font size=3 color=#2f2f2f>To add some of your own code to the PLT
use the --add_to_plt option instead, after you have the initial with the
OTP modules. In this way Dialyzer will use the supplied PLT to generate
a new one with all the old and new information.</font>
<br>
<br><font size=3 color=#2f2f2f>Stavros</font><tt><font size=2>_______________________________________________<br>
erlang-questions mailing list<br>
erlang-questions@erlang.org<br>
http://erlang.org/mailman/listinfo/erlang-questions<br>
</font></tt>
<br><font face="monospace"><br>
<br>
<br>
Ce message et toutes les pièces jointes (ci-après le 'Message') sont établis à l'intention exclusive des destinataires et les informations qui y figurent sont strictement confidentielles. Toute utilisation de ce Message non conforme à sa destination, toute diffusion ou toute publication totale ou partielle, est interdite sauf autorisation expresse.<br>
<br>
Si vous n'êtes pas le destinataire de ce Message, il vous est interdit de le copier, de le faire suivre, de le divulguer ou d'en utiliser tout ou partie. Si vous avez reçu ce Message par erreur, merci de le supprimer de votre système, ainsi que toutes ses copies, et de n'en garder aucune trace sur quelque support que ce soit. Nous vous remercions également d'en avertir immédiatement l'expéditeur par retour du message.<br>
<br>
Il est impossible de garantir que les communications par messagerie électronique arrivent en temps utile, sont sécurisées ou dénuées de toute erreur ou virus.<br>
____________________________________________________<br>
<br>
This message and any attachments (the 'Message') are intended solely for the addressees. The information contained in this Message is confidential. Any use of information contained in this Message not in accord with its purpose, any dissemination or disclosure, either whole or partial, is prohibited except formal approval.<br>
<br>
If you are not the addressee, you may not copy, forward, disclose or use any part of it. If you have received this message in error, please delete it and all copies from your system and notify the sender immediately by return message.<br>
<br>
E-mail communication cannot be guaranteed to be timely secure, error or virus-free.</font>