erlang dialyzer使用

最新推荐文章于 2023-11-09 23:03:54 发布

遥远的美梦

最新推荐文章于 2023-11-09 23:03:54 发布

阅读量1.4k

点赞数

分类专栏： erlang 文章标签： erlang dialyzer

本文链接：https://blog.csdn.net/wu545134650/article/details/53005093

版权

本文介绍了在Erlang 8.1环境下，Windows 7用户遇到的dialyzer构建PLT时关于HOME环境变量的错误。通过设置HOME变量为dialyzer的缓存目录，成功解决了问题并完成了PLT的构建，这个过程可能需要几分钟的时间。此外，还提到了dialyzer在首次运行时需要为标准库建立PLT，并且在构建过程中可能会遇到未知函数和类型的情况。

摘要由CSDN通过智能技术生成

环境:erlang 8.1 windows7 64位 erlang安装在F盘。

构建PLT的过程如下:

F:\erlang\workspace_erlang\spider\src\test\unit9>dialyzer --build_plt --apps ert
s kernel stdlib

dialyzer: {dialyzer_error,"The HOME environment variable needs to be set so that
Dialyzer knows where to find the default PLT"}
[{dialyzer_plt,plt_error,1,[{file,"dialyzer_plt.erl"},{line,588}]},
{dialyzer_options,build,1,[{file,"dialyzer_options.erl"},{line,57}]},
{dialyzer_cl_parse,cl,1,[{file,"dialyzer_cl_parse.erl"},{line,229}]},
{dialyzer_cl_parse,start,0,[{file,"dialyzer_cl_parse.erl"},{line,47}]},
{dialyzer,plain_cl,0,[{file,"dialyzer.erl"},{line,61}]},
{init,start_em,1,[{file,"init.erl"},{line,1076}]},
{init,do_boot,3,[{file,"init.erl"},{line,784}]}]

构建时报错,说找不到HOME环境变量。根据erlang程序设计第九单中的描述，第一次运行dialyzer时，