Re: [Kai-devel-ja] Makefile のターゲットに docs とdialyze を追加しました

[masahito i. <coo...@gm...>]

R12B-3 をインストールして実行した所、エラーが再現しました。
早速、調べてみますね。

Could not find the plt: /Users/cooldaemon/.dialyzer_plt
Use the options
   --build_plt   to build a new one; or
   --add_to_plt  to add to an existing plt.
For example:
    dialyzer --build_plt -r $ERL_TOP/lib/kernel/ebin\
                            $ERL_TOP/lib/stdlib/ebin\
                            $ERL_TOP/lib/mnesia/ebin
dialyzer: Internal problems were encountered in the analysis.
make[1]: *** [dialyze] Error 1
make: *** [dialyze] Error 2


2008/7/26 Takeru INOUE <tak...@gm...>:
>> 余談ですが、test_single に感動しました。
>
> こういうのがあるんだろうなぁと思ってたところだったので，同じく感動しました．
>
>> んー、そろそろ、CouchDB みたいに Autotools に対応したいですね。
>>
>> 2008/7/26 masahito ikuta <coo...@gm...>:
>>> 小さい修正だったので
>>> いきなり trunk に追加してしまいました。
>>>
>>> make docs
>>> doc ディレクトリ配下に HTML 形式のドキュメントを生成します。
>>>
>>> make dialyze
>>> src 配下の *.src に対して dialyzer を実行します。
>>>
>>> 不備等ございましたら、ご指摘をお願い致します。
>
> ドキュメント周りまでやってもらっちゃって，ありがとうです．
>
> R12B-3 で make dialyze すると↓のようなエラーが出ています．
> ググった限りでは解決方法はわかってないのですが，共有しておきます．
> あとでもうちょっと見てみます．
>
> % make dialyze
> cd src; make dialyze
> make[1]: ディレクトリ `/home/inoue/src/kai/trunk/src' に入ります
> dialyzer --succ_typings -c kai_config.erl kai_log.erl kai_hash.erl
> kai_store.erl kai_version.erl kai_coordinator.erl kai_sync.erl
> kai_membership.erl kai_sup.erl kai.erl kai_tcp_server.erl kai_api.erl
> kai_memcache.erl vclock.erl
>  Checking whether the PLT /home/inoue/.dialyzer_plt is up-to-date...
> Could not find the plt: /home/inoue/.dialyzer_plt
>
>
>>> --
>>> cooldaemon
>>>
>>
>> --
>> cooldaemon
>>
>> -------------------------------------------------------------------------
>> This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
>> Build the coolest Linux based applications with Moblin SDK & win great prizes
>> Grand prize is a trip for two to an Open Source event anywhere in the world
>> http://moblin-contest.org/redirect.php?banner_id=100&url=/
>> _______________________________________________
>> Kai-devel-ja mailing list
>> Kai...@li...
>> https://lists.sourceforge.net/lists/listinfo/kai-devel-ja
>>
>
>
>
> --
>  Takeru INOUE <tak...@gm...>
>



-- 
cooldaemon