[erlang-questions] dialyzer error

Martin Dimitrov mrtndimitrov@REDACTED
Fri May 13 09:02:23 CEST 2011


Great, thanks!

That solved the problem.

In case someone else is struggling with this:
> SET HOME=C:\
sets the home variable to point to the root of the C drive
to print the contents of the variable:
> echo %HOME%

If the output is  %HOME%  it means the variable is not set

Regards,

Martin

On 5/13/2011 7:59 AM, Bengt Kleberg wrote:
> Is there a way to set environment variables in Windows? If so, try to
> set such a variable called HOME to a directory you can read/write in.
> Then start dialyzer.
>
>
> bengt
>
> On Fri, 2011-05-13 at 06:45 +0200, Martin Dimitrov wrote:
>> I forgot to mention that I am on Windows. There is no HOME variable.
>>
>> Thanks,
>>
>> Martin
>>
>>
>>
>>
>>
>> On 5/13/2011 7:20 AM, Bengt Kleberg wrote:
>>> Greetings,
>>>
>>> $HOME is used by dialyzer to find the default plt. $HOME is supposed to
>>> be present (POSIX). What do you get if you do
>>> echo $HOME
>>> before starting dialyzer?
>>>
>>>
>>> bengt
>>>
>>> On Thu, 2011-05-12 at 17:28 +0200, Martin Dimitrov wrote:
>>>> Hi,
>>>>
>>>> Please help on this one:
>>>>
>>>> I am trying to run dialyzer but receive the following error:
>>>> dialyzer: {dialyzer_error,"The HOME environment variable needs to be set
>>>> so that Dialyzer knows where to find the default PLT"}
>>>> [{dialyzer_plt,error,1},
>>>>  {dialyzer_options,build,1},
>>>>  {dialyzer_cl_parse,cl,1},
>>>>  {dialyzer_cl_parse,start,0},
>>>>  {dialyzer,plain_cl,0},
>>>>  {init,start_it,1},
>>>>  {init,start_em,1}]
>>>>
>>>> Thank you,
>>>>
>>>> Martin
>>>> _______________________________________________
>>>> erlang-questions mailing list
>>>> erlang-questions@REDACTED
>>>> http://erlang.org/mailman/listinfo/erlang-questions
>>> _______________________________________________
>>> erlang-questions mailing list
>>> erlang-questions@REDACTED
>>> http://erlang.org/mailman/listinfo/erlang-questions
>> _______________________________________________
>> erlang-questions mailing list
>> erlang-questions@REDACTED
>> http://erlang.org/mailman/listinfo/erlang-questions
> _______________________________________________
> erlang-questions mailing list
> erlang-questions@REDACTED
> http://erlang.org/mailman/listinfo/erlang-questions




More information about the erlang-questions mailing list