Dialyzer in R11B-0

Tobias Lindahl Tobias.Lindahl@REDACTED
Thu Jun 15 09:32:43 CEST 2006


Thanks for the patch. Included.

Tobias

Jimmy Olgeni wrote:
> 
> Hello,
> 
> While building R11B-0 I noticed that %DIALYZER_DIR% is replaced in 
> dialyzer.hrl.src using a path from the build directory, rather than the 
> path where Erlang will be installed into after "make install".
> 
> I quickly fixed it using code:lib_dir/1, probably there's a better fix 
> but this one may help if you are experiencing problems with dialyzer and 
> PLT files :-)
> 
> --- lib/dialyzer/src/dialyzer.hrl.src.orig
> +++ lib/dialyzer/src/dialyzer.hrl.src
> @@ -22,7 +22,7 @@
> 
>  %% Values will be set by the Makefile
>  -define(DEFAULT_LIBS, %DEF_LIBS%).
> --define(DIALYZER_DIR, %DIALYZER_DIR%).
> +-define(DIALYZER_DIR, code:lib_dir (dialyzer)).
> 
>  -record(analysis, {analysis_pid, core_transform=cerl_typean,
>             defines=[], doc_plt,
> 



More information about the erlang-questions mailing list